A sound analysis for secure information flow using abstract memory graphs

DOI10.1007/978-3-642-11623-0_21MaRDI QIDQ3400933zbMATH OpenOpenAlexFDO

Authors Dorina Ghindici, Isabelle Simplot-Ryl, Jean-Marc Talbot

Publication date 28 January 2010

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11623-0_21

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• Instruction-level security analysis for information flow in stack-based assembly languages
• Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
• A semantic approach to secure information flow
• Information flow in object-oriented software

Cited in

(5)

• Instruction-level security analysis for information flow in stack-based assembly languages
• Verification, Model Checking, and Abstract Interpretation
• Using dependence graphs to assist verification and testing of information-flow properties
• Symbolic abstract heaps for polymorphic information-flow guard inference
• Information flow in object-oriented software

This page was built for publication: A sound analysis for secure information flow using abstract memory graphs

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