Refinement Operators and Information Flow Security.

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi

Browse the full SEFM paper archive.