@TECHREPORT{BurrowsAbadiNeedham89,
  AUTHOR = {Michael Burrows and Martin Abadi and Roger Needham},
  TITLE = {A logic of Authentication},
  INSTITUTION = {Digital Systems Research Center},
  YEAR = 1989,
  NUMBER = 39,
  MONTH = {february}
}

@ARTICLE{HwangLeeLiKoChen_NeumannStubblebine,
  AUTHOR = {Tzonelih Hwang and Narn-Yoh Lee and Chuang-Ming Li and Ming-Yung Ko and Yung-Hsiang Chen},
  TITLE = {Two Attacks on Neumann-Stubblebine Authentication Protocols},
  JOURNAL = {Information Processing Letters},
  YEAR = 1995,
  VOLUME = 53,
  PAGES = {103 - 107}
}

@INPROCEEDINGS{Kehne92,
  AUTHOR = {Axel Kehne and J{\"u}rgen Sch{\"o}nw{\"a}lder and Horst Langend{\"o}rfer},
  TITLE = {Multiple Authentications with a Nonce-Based Protocol Using Generalized Timestamps},
  BOOKTITLE = {Proc.\ {ICCC}~'92},
  ADDRESS = {Genua},
  YEAR = 1992,
  URL = {citeseer.nj.nec.com/36793.html}
}

@INPROCEEDINGS{Lowe96,
  AUTHOR = {Gavin Lowe},
  TITLE = {Some New Attacks upon Security Protocols},
  BOOKTITLE = {In Proceedings of the Computer Security Foundations Workshop VIII},
  YEAR = 1996,
  EDITOR = {IEEE Computer Society Press}
}