Inductive Analysis of the Internet Protocol TLS (Position Paper) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Inductive Analysis of the Internet Protocol TLSLawrence C. Paulson. tissec, 2(3):332-351, 1999. [doi]

Inductive Analysis of the Internet Protocol TLS (Transcript of Discussion)Lawrence C. Paulson. ispw 1999: 13-23 [doi]

runs on WebDSL