Linear Declassification

DOI10.1007/978-3-540-78739-6_18zbMATH Open1133.68372OpenAlexW2911936501MaRDI QIDQ5458399FDOQ5458399

Authors: Yûta Kaneko, Naoki Kobayashi 

Publication date: 11 April 2008

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

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

Recommendations

• A type system for robust declassification
• What you lose is what you leak: information leakage in declassification policies
• Scheduler-independent declassification
• Modelling declassification policies using abstract domain completeness
• Who Can Declassify?

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (10)

• What you lose is what you leak: information leakage in declassification policies
• A type system for robust declassification
• Automated enforcement for relaxed information release with reference points
• Programming Languages and Systems
• Scheduler-independent declassification
• Modelling declassification policies using abstract domain completeness
• Who Can Declassify?
• A semantic framework for declassification and endorsement
• Existential types for relaxed noninterference
• Programming Languages and Systems

This page was built for publication: Linear Declassification

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