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

by J C MITCHELL, V SHMATIKOV, U STERN
Venue:In Proceedings of the Workshop on Design and Formal Verification of Security Protocols (DIMACS