Combining Different Proof Techniques for Verifying Information Flow Security

DOI10.1007/978-3-540-71410-1_8zbMath1196.68050OpenAlexW1853580346MaRDI QIDQ3591082

Tina Kraußer, Heiko Mantel, Henning Sudbrock

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)

Related Items (1)

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