Verification of three authentication protocols using BAN, SVO and Strand Spaces
IC Technical Reports 2006
Fabio Rogério Piva
Ricardo Dahab