Noninterference with Local Policies.

Sebastian Eggert, Henning Schnoor, Thomas Wilke

Browse the full MFCS paper archive.