A type system for robust declassification

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

Authors Steve Zdancewic

Publication date 3 May 2016

Mathematics Subject Classification ID

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

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

(16)

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

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)