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

@INPROCEEDINGS{Syverson_replay,
  AUTHOR = {Paul Syverson},
  TITLE = {A Taxonomy of Replay Attacks},
  BOOKTITLE = {Proceedings of the 7th IEEE Computer Security
                  Foundations Workshop},
  PAGES = {131-136},
  YEAR = 1994,
  PUBLISHER = {IEEE Computer Society Press}
}