Controlling the What and Where of Declassification in Language-Based Security

DOI10.1007/978-3-540-71316-6_11MaRDI QIDQ5756493zbMATH OpenOpenAlexFDO

Authors Heiko Mantel, Alexander Reinhard

Publication date 4 September 2007

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71316-6_11

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Who Can Declassify?
• Programming Languages and Systems
• A semantic framework for declassification and endorsement
• A type system for robust declassification
• Attacker control and impact for confidentiality and integrity

Cited in

(9)

• Automated enforcement for relaxed information release with reference points
• Scheduler-independent declassification
• Attacker control and impact for confidentiality and integrity
• A semantic framework for declassification and endorsement
• Who Can Declassify?
• Programming Languages and Systems
• Programming Languages and Systems
• Relative security: (dis)proving resilience against semantic optimization vulnerabilities in Isabelle/HOL. Extended version
• Concurrent -hyperproperties

This page was built for publication: Controlling the What and Where of Declassification in Language-Based Security

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