Bisimulation and Unwinding for Verifying Possibilistic Security Properties.

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi

Browse the full VMCAI paper archive.