@inproceedings{backes04otwayrees,
  author       = {Backes, Michael},
  title        = {A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol},
  booktitle    = {Proceedings of 9th European Symposium on Research in Computer Security (ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {3193},
  month        = {September},
  year         = {2004},
  publisher    = {Springer},
  pages        = {89-108}
}