@inproceedings{backes03cryptographically,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol},
  booktitle    = {Proceedings of 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2914},
  month        = {December},
  year         = {2003},
  publisher    = {Springer},
  pages        = {1-12},
  note         = {Preprint on IACR ePrint 2003/121}
}