Verification of Cryptographic Protocols: An Experiment. - Marc Mehdi Ayadi; Dominique Bolignano (FME, 1997)