Loading...
Please wait, while we are loading the content...
Similar Documents
Security analysis of cryptographically controlled access to XML documents (2005)
| Content Provider | CiteSeerX |
|---|---|
| Author | Abadi, MartÃn |
| Description | Some promising recent schemes for XML access control employ encryption for implementing security policies on published data, avoiding data duplication. In this paper we study one such scheme, due to Miklau and Suciu. That scheme was introduced with some intuitive explanations and goals, but without precise definitions and guarantees for the use of cryptography (specifically, symmetric encryption and secret sharing). We bridge this gap in the present work. We analyze the scheme in the context of the rigorous models of modern cryptography. We obtain formal results in simple, symbolic terms close to the vocabulary of Miklau and Suciu. We also obtain more detailed computational results that establish security against probabilistic polynomial-time adversaries. Our approach, which relates these two layers of the analysis, continues a recent thrust in security research and may be applicable to a broad class of systems that rely on cryptographic data protection. 1. In Proceedings of the 24th ACM Symposium on Principles of Database Systems |
| File Format | |
| Language | English |
| Publisher | ACM Press |
| Publisher Date | 2005-01-01 |
| Access Restriction | Open |
| Subject Keyword | Security Analysis Xml Access Control Promising Recent Scheme Secret Sharing Present Work Precise Definition Recent Thrust Intuitive Explanation Rigorous Model Probabilistic Polynomial-time Adversary Broad Class Formal Result Symmetric Encryption Security Policy Detailed Computational Result Modern Cryptography Symbolic Term Security Research Cryptographic Data Protection Data Duplication |
| Content Type | Text |
| Resource Type | Article |