TLS1.2协议安全性分析 |
| |
引用本文: | 牛乐园.TLS1.2协议安全性分析[J].教育技术导刊,2015,14(5):154-157. |
| |
作者姓名: | 牛乐园 |
| |
作者单位: | 中南民族大学 计算机科学学院,湖北 武汉 430074 |
| |
摘 要: | 安全传输层协议(TLS)用于在两个通信应用程序之间提供保密性和数据完整性。详细地分析了TLS协议,并给出了TLS1.2协议的具体工作流程。通过传输层协议中客户端对服务端的认证和服务端对客户端的认证来建立安全模型,并基于计算模型Blanchet使用自动化工具CryptoVerif证明其认证性和安全性。
|
关 键 词: | TLS1.2 安全协议 计算模型 |
本文献已被 万方数据 等数据库收录! |
| 点击此处可从《教育技术导刊》浏览原始摘要信息 |
| 点击此处可从《教育技术导刊》下载免费的PDF全文 |
|