Analysis of the SSL Protocol
Jeremy T. Bradley, Neil J. Davies · 1995
SSL, as a proposed secure communications protocol, is set to become an international standard. As such it is important to have a full discussion of the technical and practical issues behind the protocol before the onset of commercial and industry acceptance. The protocol goes in front of an IETF BOF in July of this year and it is hoped that this document will be one of many to provide a small discussion point for that meeting. This report analyses the communications structure of the SSL Handshake Protocol and suggests alterations based on such analysis. Other recommendations cover issues of general security, as well as some of the administrative points associated with certification. Contents 1 Introduction 1 1.1 Message Dependancy Analysis : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 1.2 Finite State Diagrams and Process Algebra : : : : : : : : : : : : : : : : : : : : : : 1 1.3 Recommendations : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 ...