Inductive Analysis of the Internet Protocol TLS (Position Paper).

Lawrence C. Paulson Inductive Analysis of the Internet Protocol TLS (Position Paper). 1-12 1998 conf/spw/1998 Security Protocols Workshop http://link.springer.de/link/service/series/0558/bibs/1550/15500001.htm db/conf/spw/spw1998.html#Paulson98