54 search results - page 8 / 11 » Using Equivalence Relations for Corrective Enforcement of Se... |
ESORICS
2009
Springer
14 years 8 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
USS
2008
13 years 10 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
The prevalent use of XML highlights the need for a generic, flexible access-control mechanism for XML documents that supports efficient and secure query access, without revealing ...
IEEEARES
2009
IEEE
14 years 2 months ago
2009
IEEE
In a service-oriented architecture, service compositions are assembled from other component services. Such compositions may include services from unknown and potentially untrusted...
ESOP
2003
Springer
14 years 24 days ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...