Proofs Methods for Bisimulation Based Information Flow Security.

Riccardo Focardi, Carla Piazza, Sabina Rossi

Browse the full VMCAI paper archive.