Linear Declassification
From MaRDI portal
Publication:5458399
Recommendations
Cited in
(10)- Programming Languages and Systems
- A type system for robust declassification
- What you lose is what you leak: information leakage in declassification policies
- 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
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)