A Formal Analysis of the Secure Sockets Layer Protocol (1997)

by S Dietrich