@inproceedings{backes03machineassisted,
  author       = {Backes, Michael and Jacobi, Christian},
  title        = {Cryptographically Sound and Machine-Assisted Verification of Security Protocols},
  booktitle    = {Proceedings of 20th International Symposium on Theoretical Aspects of Computer Science (STACS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2607},
  month        = {February},
  year         = {2003},
  publisher    = {Springer},
  pages        = {675-686}
}