16、现实世界协议的SSL与TLS安全分析

现实世界协议的SSL与TLS安全分析

1. 基于可信新鲜性的SSL安全分析

SSL（Secure Socket Layer）在增强通信安全方面有一定作用，但实际安全性未达预期。下面将基于可信新鲜性对SSL进行安全分析，并介绍因协议安全属性缺失而产生的攻击，同时也会简单提及TLS重协商实现相关的攻击。

1.1 基于可信新鲜性的SSL协商安全分析

以一个双方都有证书的完整SSL握手协议为例。当新会话开始时，CipherSpec加密、哈希和压缩算法初始化为空。以下是该协议中与认证和密钥建立相关的消息交换：
- 消息1 ：C → S : VerC, TC, NC, NULL
- 消息2 ：S → C : VerS, TS, NS, SIDS, CertS
- 消息3 ：C → S : {kCS}KS, CertC, {NC, NS}K−1C, 〈C, {NC, NS}K−1C〉kCS
- 消息4 ：S → C : {S, NS, NC}kCS

这里的符号含义如下：
- C表示客户端（客户端网页浏览器），S表示网页服务器。
- VerC是客户端Hello消息中的协议版本，VerS是实际使用的版本号。
- TC和TS是C和S生成的时间戳。
- NC和NS分别是C和S随机选择的随机数。
- kCS是C和S之间要建立的新会话密钥。
- SIDS是服务器生成并缓存的新会话ID。
- CertC（CertS）是C（或S