@techreport{TR-IC-06-17,
  number = {IC-06-17},
  author = {Fabio Rogério Piva and
            Augusto Jun Devegili and Ricardo Dahab},
  title = {Verification of three authentication protocols using {BAN},
           {SVO} and {Strand} {Spaces}},
  month = {September},
  year = {2006}, 
  institution = {Institute of Computing, University of Campinas},
  note = {In English, 41 pages.
    \par\selectlanguage{english}\textbf{Abstract}
       We compare three formal verification techniques for
       cryptographic protocols: BAN and SVO logics, and strand spaces,
       identifying some weaknesses of these logics and advantages of
       strand spaces. We also present new proofs of modified Yahalom,
       modified Kerberos and Woo-Lam Pi.
  }
}