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

Sylvia Grewe et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics