687 search results - page 103 / 138 » A Self-Policing Policy Language |
155
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
125
click to vote
ICWS
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper presents an emerging tool for security configuration of service-oriented architectures with Web Services. Security is a major concern when implementing mission-critical...
120
click to vote
APLAS
2003
ACM
15 years 5 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
132
Voted
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
218
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...