What you lose is what you leak: information leakage in declassification policies

DOI10.1016/J.ENTCS.2007.02.027MaRDI QIDQ5262929zbMATH OpenOpenAlexWikidataFDO

Authors Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.027

zbMATH Keywords

abstract interpretationcompletenessinformation flowdeclassification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Modelling declassification policies using abstract domain completeness
• Linear Declassification
• A type system for robust declassification
• A Policy Model for Secure Information Flow
• Programming Languages and Systems

Cites work

• scientific article; zbMATH DE number 1834576 (Why is no real title available?)
• A per model of secure information flow in sequential programs
• A semantic approach to secure information flow
• Abstract non-interference
• Comparing Completeness Properties of Static Analyses and Their Logics
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Downgrading policies and relaxed noninterference
• Making abstract interpretations complete
• Preserving Secrecy Under Refinement
• Programming Languages and Systems
• Programming Languages and Systems
• Static Analysis
• The octagon abstract domain
• Tools and Algorithms for the Construction and Analysis of Systems
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs

Cited in

(6)

• A type system for robust declassification
• Deriving Bisimulations by Simplifying Partitions
• Scheduler-independent declassification
• Modelling declassification policies using abstract domain completeness
• Linear Declassification
• Transforming Abstract Interpretations by Abstract Interpretation

This page was built for publication: What you lose is what you leak: information leakage in declassification policies

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