Decidability and proof systems for language-based noninterference relations.

Mads Dam

Browse the full POPL paper archive.