Finite-State analysis of SSL 3.0 and related protocols (1997)

by J C Mitchell, V Shmatikov, U Stern
Venue:In Workshop on Design and Formal Verification of Security Protocols