Security Analysis of Cryptographically Controlled Access to XML Documents

Summary: Formal cryptographic analysis of Miklau & Suciu's XML access-control-by-encryption scheme: gives precise symbolic definitions and computational proofs showing security against PPT adversaries for its symmetric-encryption and secret-sharing primitives. Bridges symbolic and computational models, yielding a reusable methodology for cryptographic XML/data-protection systems. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1344
Venue: PODS
Year: 2005
Pagerank: 5.4102035e-05
Overall Rank: 8,573 | 41.19%
DOI: 10.1145/1065167.1065182

Incoming Non-self Citations Over Time

Authors

1. Martín Abadi (University of California at Santa Cruz)
2. Bogdan Warinschi (Stanford University; University of California at Santa Cruz)

BibTeX Citation

@inproceedings{abadi_pods05,
        address = {New York, NY, USA},
        series = {{PODS} '05},
        title = {{Security Analysis of Cryptographically Controlled Access to XML Documents}},
        url = {https://dl.acm.org/doi/10.1145/1065167.1065182},
        doi = {10.1145/1065167.1065182},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Abadi, Martín and Warinschi, Bogdan},
        year = {2005}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
7,115	Efficient Secure Query Evaluation over Encrypted XML Databases	2006	VLDB	5.6982148e-05

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
1,413	Controlling Access to Published Data Using Cryptography	2003	VLDB	0.00010848409
5,731	Secure XML Publishing without Information Leakage in the Presence of Data Inference	2004	VLDB	6.106721e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	8,402	Compressed Accessibility Map: Efficient Access Control for XML	2002	VLDB
2	13,323	Access Control for Information-Theoretically Secure Data	2025	VLDB
3	13,923	LockX: A System for Efficiently Querying Secure XML	2003	SIGMOD
4	5,731	Secure XML Publishing without Information Leakage in the Presence of Data Inference	2004	VLDB
5	5,842	Optimizing the Secure Evaluation of Twig Queries	2002	VLDB
6	6,492	Safe Data Sharing and Data Dissemination on Smart Devices	2005	SIGMOD
7	2,757	Secure XML Querying with Security Views	2004	SIGMOD
8	7,115	Efficient Secure Query Evaluation over Encrypted XML Databases	2006	VLDB
9	8,941	Client-Based Access Control Management for XML documents	2004	VLDB
10	1,413	Controlling Access to Published Data Using Cryptography	2003	VLDB