Michael Backes, Christian Jacobi 0002. Cryptographically Sound and Machine-Assisted Verification of Security Protocols. In Helmut Alt, Michel Habib, editors, STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings. Volume 2607 of Lecture Notes in Computer Science, pages 675-686, Springer, 2003. [doi]
Abstract is missing.