Strong_Security Dependents

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

by Sylvia Grewe, Alexander Lux, Heiko Mantel and Jens Sauer