@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 },
}