Linear Declassification

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

Naoki Kobayashi, Yûta Kaneko

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

Mathematics Subject Classification ID

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

Cited In (2)

• Programming Languages and Systems
• Programming Languages and Systems

   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? 👍 👎

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)