DMCA

Inductive analysis of the internet protocol TLS (1999)

by Lawrence Paulson , Lawrence C. Paulson
Venue:ACM Trans. Inf. Syst. Secur
Citations:130 - 16 self