@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}
}

@TECHREPORT{Lowe97,
  AUTHOR = {Gavin Lowe},
  TITLE = {A Family of Attacks upon Authentication Protocols},
  INSTITUTION = {Department of Mathematics and Computer Science, University of Leicester},
  YEAR = 1997,
  NUMBER = {1997/5}
}