A Proof System for Information Flow Security.

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi

Browse the full LOPSTR paper archive.