Running-mode analysis of the Security Socket Layer protocol

Authors:
Yuqing Zhang;Xiuying Liu
Affiliations:
State Key Laboratory of Information Security, GSCAS, Beijing, P.R.China;National Computer Network Intrusion Protection Center, GSCAS, Beijing, P.R.China
Venue:
ACM SIGOPS Operating Systems Review
Year:
2004

Citing 3
Cited 0

An approach to the formal verification of the two-party cryptographic protocols

ACM SIGOPS Operating Systems Review
Analysis of the SSL 3.0 protocol

WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
Finite-state analysis of SSL 3.0

SSYM'98 Proceedings of the 7th conference on USENIX Security Symposium - Volume 7

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.