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

@UNPUBLISHED{ClarkJacob_WooLam,
  AUTHOR = {John Clark and Jeremy Jacob},
  TITLE = {Freshness is Not Enough : Note on Trusted Nonce Generation and Malicious Principals},
  NOTE = {attack on a mutual authentification protocol by Woo and Lam}
}

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

@ARTICLE{WooLam94,
  AUTHOR = {T. Y. C. Woo and S. S. Lam},
  TITLE = {A Lesson on Authentication Protocol Design},
  JOURNAL = {Operating Systems Review},
  YEAR = 1994
}