Running-mode analysis of the Security Socket Layer protocol
Yuqing Zhang, Xiuying Liu · ACM SIGOPS Operating Systems Review · 2004
The Secure-Socket Layer (SSL) protocol is analyzed using a formal analysis mehod called the approach of the running-mode analysis. This analysis uncovers successfully some anomalies in the basic SSL handshake protocol. And we give some attacks on these anomalies.