Finite-State Analysis of SSL 3.0 (1998)

by John C. Mitchell , Vitaly Shmatikov , Ulrich Stern , John C. Mitchell , Vitaly Shmatikov , Ulrich Stern
Venue:In 7 th USENIX Security Symp
Citations:77 - 12 self