Controlled Declassification Based on Intransitive Noninterference.

Heiko Mantel, David Sands

Browse the full APLAS paper archive.