@inproceedings{BJ01,
  AUTHOR    = { Michael Backes
                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 '03, Berlin, Germany },
  YEAR      = { 2003 },
  PUBLISHER = { Springer },
  PAGES     = { 675--686 },
  VOLUME    = { 2607  },
  SERIES    = { LNCS },
}