Abstract interpretation of operational semantics for secure information flow.

DOI10.1016/S0020-0190(02)00219-3MaRDI QIDQ1853040zbMATH OpenFDO

Authors Roberto Barbuti, Nicoletta De Francesco, Cinzia Bernardeschi

Publication date 21 January 2003

Published in Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

SecurityFormal semanticsStatic analysisInformation flow

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites work

• scientific article; zbMATH DE number 1692933 (Why is no real title available?)
• A lattice model of secure information flow
• A security flow control algorithm and its denotational semantics correctness proof
• Abstract Interpretation Frameworks
• An Axiomatic Approach to Information Flow in Programs
• Certification of programs for secure information flow
• Compile-time detection of information flow in sequential programs
• Information flow inference for free

Cited in

(2)

• Instruction-level security analysis for information flow in stack-based assembly languages
• Abstract Certification of Global Non-interference in Rewriting Logic

This page was built for publication: Abstract interpretation of operational semantics for secure information flow.

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