A Formalization of Declassification with WHAT-and-WHERE-Security

From MaRDI portal


MaRDI QIDQ7361495FDO


Authors Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer

Publication date 23 April 2014



Cites work





This page was built for software: A Formalization of Declassification with WHAT-and-WHERE-Security

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_Formalization_of_Declassification_with_WHAT-and-WHERE-Security&oldid=105367109"
Powered by MediaWiki