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

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]

This author has not been identified. Look up 'Lawrence C. Paulson' in Google

runs on WebDSL