Finite-State Analysis of SSL 3.0

TitleFinite-State Analysis of SSL 3.0
Publication TypeConference Paper
Year of Publication1998
AuthorsMitchell JC, Shmatikov V, Stern U
Conference Name7th USENIX Security Symposium (USENIX Security 98)
Date Published01/1998
PublisherUSENIX Association
Conference LocationSan Antonio, TX
URLhttps://www.usenix.org/conference/7th-usenix-security-symposium/finite-state-analysis-ssl-30