Running-mode Analysis of the Security Socket Layer Protocol

摘要

The Secure Socket Layer (SSL) protocol is analyzed using a formal analysis method 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.