Finite-State Analysis Of Ssl 3.0 presented at 7th USENIX Security Symposium 1998

by John C. Mitchell, Vitaly Shmatikov, Ulrich Stern,

Tags: Security Analysis SSL