Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer. A Formalization of Declassification with WHAT-and-WHERE-Security. Archive of Formal Proofs, 2014, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.