Interprocedural information flow analysis of XML processors

DOI10.1007/978-3-319-04921-2_4MaRDI QIDQ5404900zbMATH OpenOpenAlexFDO

Authors Helmut Seidl, Máté Kovács

Publication date 31 March 2014

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-04921-2_4

Mathematics Subject Classification ID

Internet topics (68M11) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1810473
• XML access control systems: A component-based approach
• Security analysis of cryptographically controlled access to XML documents
• Protection and administration of XML data sources

This page was built for publication: Interprocedural information flow analysis of XML processors

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