Inductive Analysis of the Internet Protocol TLS (1997)

by Lawrence C. Paulson
Venue:ACM Transactions on Information and System Security