Security analysis of cryptographically controlled access to XML documents

DOI10.1145/1346330.1346331zbMATH Open1311.94103OpenAlexW2064764499WikidataQ130893460 ScholiaQ130893460MaRDI QIDQ3546366FDOQ3546366

Authors: Martín Abadi, Bogdan Warinschi 

Publication date: 21 December 2008

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.1962

Recommendations

• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1871283
• Protection and administration of XML data sources
• scientific article; zbMATH DE number 2044543
• Access control for databases: concepts and systems

Mathematics Subject Classification ID

Database theory (68P15) Authentication, digital signatures and secret sharing (94A62)

Cited In (10)

• Title not available (Why is that?)
• Automated Technology for Verification and Analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interprocedural information flow analysis of XML processors
• Universally composable cryptographic role-based access control
• Sound and complete computational interpretation of symbolic hashes in the standard model
• XML security protection scheme based on Kerberos authentication and polynomials authorization
• A survey of symbolic methods in computational analysis of cryptographic systems

This page was built for publication: Security analysis of cryptographically controlled access to XML documents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3546366)