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

@MISC{ClarkJacob97,
  AUTHOR = {John Clark and Jeremy Jacob},
  TITLE = {A Survey of Authentication Protocol Literature},
  MONTH = {November},
  YEAR = 1997,
  URL = {http://www-users.cs.york.ac.uk/~jac/papers/drareview.ps.gz}
}

@ARTICLE{Paulson_yahalom,
  AUTHOR = {Lawrence C. Paulson},
  TITLE = {Relations Between Secrets: Two Formal Analyses of the Yahalom Protocol},
  JOURNAL = {J. Computer Security},
  YEAR = 2001
}