背景

在上信息安全课程的时候，经常听到SSL层协议为web安全提供一种安全保障机制，但是该协议的具体操作过程以及对协议的格式不甚了解。现所看论文是对网络安全协议验证方法的研究，并使用CSP（通信顺序进场）语言对SSL协议进行了描述，在对抽象语言进行理解之前，我想首先得理清SSL的具体过程。在上信息安全课程的时候，经常听到SSL层协议为web安全提供一种安全保障机制，但是该协议的具体操