TLS握手协议的计算模型分析

• 作者: 倪阳 张玉清
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: 认证密钥交换协议 可证安全 TLS握手协议 伪随机函数
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 论文
• 页码范围: 110-116
• 页数: 7页
• 分类号: TP309
• 字数: 5956字
• 语种: 中文

摘要

用BR模型对TLS握手协议进行了计算分析与安全性证明.TLS握手协议作为典型的认证密钥交换协议,可以自然结合到BR认证协议计算模型分析框架当中.对该协议主要通信过程进行了总结、建模和分析,证明当协议所采用的公钥加密函数和消息认证函数均满足计算模型安全性要求时,TLS握手协议在BR计算模型下是安全的.