TLS握手秘钥套件分析

一、为了弄清楚TLS1.3的内部结构，以为有必要将TLS的整个结构重新整理一遍，方便后续在作握手协议的形式化分析的时候可以不遗漏每一个加密和认证的的环节。

      TLS1.3不论文在协议内容上仍是性能上都较以前的TLS1.2版本有较大的改变，这里首先归纳性的表征一下存在的差别：

      更换了新的密码套件，旧的密码套件不在支持TLS1.3，不提供乡下兼容的特性。新的密码套件一共五个以下：

1.   TLS_AES_128_GCM_SHA256
2.  TLS_AES_256_GCM_SHA384
3.  TLS_CHACHA20_POLY1305_SHA256
4.  TLS_AES_128_CCM_SHA256
5.  TLS_AES_128_CCM_8_SHA256

     同时新的密码组定义不一样，并未指定证书类型，秘钥交换机制，客户端在ClientHello中提供了key_Share，在主握手完成以后才能创建会话，在握手结束和会话创建之间存在间隙，在后续的会话恢复机制中能够产生影响。TLS1.3链接中不能从新协商。秘钥改变以后再也不像对方发送change_cipher_spec报文信息。更多的握手信息会被加密。更多类型的消息能够实现扩展 ，

    TLS1.3完全废弃了RSA秘钥交换算法，以前的1.2的版本先计算MAC再加密的方法存在不少安全隐患，再也不容许对加密报文进行压缩处理，TLS1.3弃用的加密算法以下：

1. SHA-1 Hash Function    存在安全隐患
2. RC4 Steam Cipher  ----在HTTPS中使用并不安全
3. DES  
4. 3DES
5. AES-CBC
6. MD5 Algorithm
7. Various Diffie-Hellman groups
8. EXPORT-strength ciphers
9. RSA Key Transport      --------不支持向前安全

   LTS1.3 仅采用AEAD类对称加密算法做为惟一的加密选项，同时引入了新的秘钥协商机制 PSK（PreSharedKEy）

      图 TLS在传输层保障信息传输的安全示意图

二、对TLS1.3 握手协议的过程分析

  从效率性能上讲，TLS1.2的版本 握手须要协商多个参数，握手过程须要往返两个（RTT），相比较1.3的版本在参数，秘钥，秘钥套件和往返次数上都减小。因此TLS1.3放弃了向后兼容的方法，转而向更加安全的措施。

 

•    一、客户端发送 ClientHello 消息
•        ClientHello---包含的信息---------{ 协议版本 、DH秘钥交换参数列表KeyShare 、随机数 }
•     二、服务端回复 ServerHello消息
•       ServerHello-----包含信息-------{ 选定的加密套件、  发送的证书给客户端、 使用证书私钥对握手消息签名、选用客户端提供的参数生成ECDH临时秘钥、结合选定的DH参数计算出用于加密的共享秘钥、服务端生成临时公钥经过 KeyShare 消息发送给客户端  }
•     三、客户端收到KeyShare 消息以后，使用证书的公钥进行签名验证，获取服务器端的ECDH临时公钥，生成会话所须要的公钥秘钥
•     四、双方使用生成的共享秘钥对消息加密传输，保证消息安全。

三、恢复会话过程

      TLS1.3恢复会话能够直接发送加密后的应用数据，不须要额外的TLS握手，所以 “0-RTT” 握手就是指恢复加密传输层不须要二外的RTT，可是在第一次进行彻底握手的时候，是须要 1-RTT的。可是存在的一个缺点是，TLS1.3 0-RTT如今没法保证向前安全（ForwardSecrecy），若是当攻击者经过某种手段能够获取到 Secession Ticket key ,攻击者就能够解密以前的加密数据。（注意：环节该问题的办法： 能够经过设置 SeverConfiguration 和Expiration Date字段，使得与Session Ticket Key 相关的DH静态参数在短期内过时）

四、对TLS1.2 协议形式化分析的改进

  

                                     TLS 1.2 握手示意图

五、TLS1.3 协议形式化描述 

  形式化描述以前对TLS协议的握手过程要抽象出信息交互过程

TLS降级

   

TLS1.3 握手协议过程

 

 

 

参考文献：

cn.bing.com  TLS1.3/QUIC 是怎样作到 0-RTT 的

https://timtaubert.de/blog/2015/11/more-privacy-less-latency-improved-handshakes-in-tls-13/

https://blog.cloudflare.com/tls-1-3-overview-and-q-and-a/

https://www.wolfssl.com/tls-1-3-performance-part-2-full-handshake-2/

https://crypto.stackexchange.com/questions/47423/tls1-3-encrypted-handshake

https://tlseminar.github.io/tls-13/

https://cloudshark.io/articles/examples-of-tls-1-3/

https://tls13.ulfheim.net/

https://github.com/syncsynchalt/illustrated-tls13