Combining Different Proof Techniques for Verifying Information Flow Security

DOI10.1007/978-3-540-71410-1_8MaRDI QIDQ3591082zbMATH OpenOpenAlexFDO

Authors Heiko Mantel, Henning Sudbrock, Tina Kraußer

Publication date 10 September 2007

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71410-1_8

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Secure information flow by self-composition
• scientific article; zbMATH DE number 2104621
• A semantic approach to secure information flow
• A Logical System for Modular Information Flow Verification
• Taming Message-Passing Communication in Compositional Reasoning About Confidentiality

Cited in

(2)

• Taming Message-Passing Communication in Compositional Reasoning About Confidentiality
• Using dynamic pushdown networks to automate a modular information-flow analysis

This page was built for publication: Combining Different Proof Techniques for Verifying Information Flow Security

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