Inductive analysis of the internet protocol TLS. (1999)

by L C Paulson
Venue:ACM Transactions on Information and System Security (TISSEC),