A type system for robust declassification

DOI10.1016/S1571-0661(03)50014-7MaRDI QIDQ276494zbMATH OpenFDO

Authors Steve Zdancewic

Publication date 3 May 2016

Full work available at URL https://doi.org/10.1016/S1571-0661(03)50014-7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data encryption (aspects in computer science) (68P25)

Recommendations

• Linear Declassification
• A semantic framework for declassification and endorsement
• Attacker control and impact for confidentiality and integrity
• What you lose is what you leak: information leakage in declassification policies
• Who Can Declassify?

Cited in

(17)

• Automated enforcement for relaxed information release with reference points
• Robust declassification by incremental typing
• Survey on JavaScript security policies and their enforcement mechanisms in a web browser
• Scheduler-independent declassification
• Towards fully automatic placement of security sanitizers and declassifiers
• Information flow inference for free
• Modelling declassification policies using abstract domain completeness
• Attacker control and impact for confidentiality and integrity
• A semantic framework for declassification and endorsement
• Secure Information Flow as a Safety Property
• Who Can Declassify?
• What you lose is what you leak: information leakage in declassification policies
• Programming Languages and Systems
• Linear Declassification
• Programming Languages and Systems
• Controlling the What and Where of Declassification in Language-Based Security
• Existential types for relaxed noninterference

This page was built for publication: A type system for robust declassification

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