A sound analysis for secure information flow using abstract memory graphs
From MaRDI portal
Publication:3400933
DOI10.1007/978-3-642-11623-0_21zbMATH Open1274.68040OpenAlexW1604283100MaRDI QIDQ3400933FDOQ3400933
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
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
Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (5)
- Verification, Model Checking, and Abstract Interpretation
- Using dependence graphs to assist verification and testing of information-flow properties
- Information flow in object-oriented software
- Instruction-level security analysis for information flow in stack-based assembly languages
- Symbolic abstract heaps for polymorphic information-flow guard inference
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)
