Finite-State Analysis of SSL 3.0 (1998)

by J C Mitchell, V Shmatikov, U Stern
Venue:In Proceedings of the Seventh USENIX Security Symposium