Types versus PDGs in information flow analysis

DOI10.1007/978-3-642-38197-3_8zbMATH Open1394.68078OpenAlexW145361434MaRDI QIDQ2848902FDOQ2848902

Heiko Mantel, Henning Sudbrock

Publication date: 13 September 2013

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-642-38197-3_8

Recommendations

• Information-flow and data-flow analysis of while-programs
• Type-based information flow analysis for the \(\pi\)-calculus
• On flow-sensitive security types
• Static Analysis
• Using dynamic pushdown networks to automate a modular information-flow analysis

zbMATH Keywords

information flow securitysecurity type systemprogram dependency graph

Mathematics Subject Classification ID

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

Cited In (4)

• Using dependence graphs to assist verification and testing of information-flow properties
• Dependent information flow types
• Information flow control in software DB units based on formal verification
• A secrecy-preserving language for distributed and object-oriented systems

This page was built for publication: Types versus PDGs in information flow analysis

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