Sigrid Gürgens. SG Logic- A Formal Analysis Technique for Authentication Protocols. In Bruce Christianson, Bruno Crispo, T. Mark A. Lomas, Michael Roe, editors, Security Protocols, 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings. Volume 1361 of Lecture Notes in Computer Science, pages 159-176, Springer, 1997.
Abstract is missing.