Security analysis of cryptographically controlled access to XML documents

DOI10.1145/1346330.1346331MaRDI QIDQ3546366zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(10)

• scientific article; zbMATH DE number 2044543 (Why is no real title available?)
• scientific article; zbMATH DE number 2017872 (Why is no real title available?)
• scientific article; zbMATH DE number 2030113 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 2100561 (Why is no real title available?)
• Interprocedural information flow analysis of XML processors
• Universally composable cryptographic role-based access control
• XML security protection scheme based on Kerberos authentication and polynomials authorization
• Sound and complete computational interpretation of symbolic hashes in the standard model
• 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)