Compositional Analysis of Authentication Protocols.

Michele Bugliesi, Riccardo Focardi, Matteo Maffei

Browse the full ESOP paper archive.