A formal analysis of the secure sockets layer protocol (1997)

by S DIETRICH
Venue:Ph.D. Dissertation. Adelphi Univ., Garden City