Lawrence C. Paulson. Inductive Analysis of the Internet Protocol TLS (Position Paper). In Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe, editors, Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings. Volume 1550 of Lecture Notes in Computer Science, pages 1-12, Springer, 1998. [doi]
Abstract is missing.