TLS1．2协议安全性分析

• 作者: 牛乐园
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: TLS1. 2 安全协议 计算模型
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 网络技术
• 页码范围: 154-157
• 页数: 4页
• 分类号: TP393
• 字数: 3767字
• 语种: 中文
• DOI: 10.11907/rjdk.151410

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	牛乐园	中南民族大学计算机科学学院	3	25	2.0	3.0