Inductive analysis of the internet protocol TLS (1999)

by L C PAULSON
Venue:ACM Trans. Inf. Syst. Secur