Abstract interpretation of operational semantics for secure information flow.
From MaRDI portal
Publication:1853040
DOI10.1016/S0020-0190(02)00219-3zbMath1044.68665MaRDI QIDQ1853040
Roberto Barbuti, Nicoletta De Francesco, Cinzia Bernardeschi
Publication date: 21 January 2003
Published in: Information Processing Letters (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
Related Items
Instruction-level security analysis for information flow in stack-based assembly languages, Abstract Certification of Global Non-interference in Rewriting Logic
Cites Work
- Unnamed Item
- Compile-time detection of information flow in sequential programs
- A security flow control algorithm and its denotational semantics correctness proof
- Information flow inference for free
- An Axiomatic Approach to Information Flow in Programs
- A lattice model of secure information flow
- Certification of programs for secure information flow
- Abstract Interpretation Frameworks