@ARTICLE{DenningSacco81,
  AUTHOR = {D. Denning and G. Sacco},
  TITLE = {Timestamps in Key Distributed Protocols},
  JOURNAL = {Communication of the ACM},
  YEAR = 1981,
  VOLUME = 24,
  NUMBER = 8,
  PAGES = {533--535}
}

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