The Complexity of Intransitive Noninterference.

Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke

Browse the full SP paper archive.