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: h44952b33f41349eb
Venue: PODS
Year: 2005
Pagerank: 5.2895893e-05
Overall Rank: 8,738 | 41.26%
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,211	Efficient Secure Query Evaluation over Encrypted XML Databases	2006	VLDB	5.5843345e-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,450	Controlling Access to Published Data Using Cryptography	2003	VLDB	0.0001061234
5,855	Secure XML Publishing without Information Leakage in the Presence of Data Inference	2004	VLDB	5.9698375e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	8,577	Compressed Accessibility Map: Efficient Access Control for XML	2002	VLDB
2	13,645	Access Control for Information-Theoretically Secure Data	2025	VLDB
3	14,234	LockX: A System for Efficiently Querying Secure XML	2003	SIGMOD
4	5,855	Secure XML Publishing without Information Leakage in the Presence of Data Inference	2004	VLDB
5	5,964	Optimizing the Secure Evaluation of Twig Queries	2002	VLDB
6	6,612	Safe Data Sharing and Data Dissemination on Smart Devices	2005	SIGMOD
7	2,816	Secure XML Querying with Security Views	2004	SIGMOD
8	7,211	Efficient Secure Query Evaluation over Encrypted XML Databases	2006	VLDB
9	9,104	Client-Based Access Control Management for XML documents	2004	VLDB
10	1,450	Controlling Access to Published Data Using Cryptography	2003	VLDB