Verification of Cryptographic Protocols: An Experiment.

Marc Mehdi Ayadi, Dominique Bolignano

Browse the full FM paper archive.