Analysis of the SSL 3.0 protocol. On the internet at http://www.cs.berkeley.edu/daw/ssl3.0.ps (1996)

by David Wagner, Bruce Schneier