TLS1．2协议安全性分析

摘要

安全传输层协议（T LS ）用于在两个通信应用程序之间提供保密性和数据完整性。详细地分析了 T LS协议，并给出了T LS1．2协议的具体工作流程。通过传输层协议中客户端对服务端的认证和服务端对客户端的认证来建立安全模型，并基于计算模型Blanchet使用自动化工具CryptoVerif证明其认证性和安全性。