@MISC{AndersonNeedham95,
  AUTHOR = {R. Anderson and R. Needham},
  TITLE = {Programming Satan's Computer},
  TEXT = {RJ Anderson, RM Needham, Programming Satan's Computer, in Computer Science
    Today, Springer LNCS v 1000 pp 426--441},
  URL = {citeseer.nj.nec.com/22376.html},
  YEAR = 1995
}

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