C.: Inductive analysis of the internet protocol tls (1999)

by L Paulson
Venue:ACM Trans. Inf. Syst. Secur