Finite-state analysis of SSL 3.0 (1998)

by J MITCHELL, V SHMATIKOV, U STERN
Venue:In Proceedings of the 7th USENIX Security Symposium (San