A semantic framework for declassification and endorsement

DOI10.1007/978-3-642-11957-6_5MaRDI QIDQ3558216zbMATH OpenOpenAlexFDO

Authors Aslan Askarov, Andrew C. Myers

Publication date 4 May 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-11957-6_5

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Attacker control and impact for confidentiality and integrity
• A type system for robust declassification
• Controlling the What and Where of Declassification in Language-Based Security
• Programming Languages and Systems
• Linear Declassification

Cited in

(8)

• Automated enforcement for relaxed information release with reference points
• A type system for robust declassification
• Model Checking Information Flow in Reactive Systems
• Compiling Information-Flow Security to Minimal Trusted Computing Bases
• Attacker control and impact for confidentiality and integrity
• Programming Languages and Systems
• Controlling the What and Where of Declassification in Language-Based Security
• Relative security: (dis)proving resilience against semantic optimization vulnerabilities in Isabelle/HOL. Extended version

This page was built for publication: A semantic framework for declassification and endorsement

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