Non Interference for the Analysis of Cryptographic Protocols.

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli

Browse the full ICALP paper archive.