摘要: 本文用BR模型对TLS握手协议进行了计算分析与安全性证明. TLS握手协议作为典型的认证密钥交换协议,可以自然结合到BR认证协议计算模型分析框架当中. 本文对该协议主要通信过程进行了总结、建模和分析,证明当协议所采用的公钥加密函数和消息认证函数均满足计算模型安全性要求时,TLS握手协议在BR计算模型下是安全的.
中图分类号:
倪阳, 张玉清. TLS握手协议的计算模型分析*[J]. 中国科学院大学学报, 2008, 25(1): 110-116.
NI Yang, ZHANG Yu-Qing. Computational Analysis of TLS Handshake Protocol[J]. Journal of University of Chinese Academy of Sciences, 2008, 25(1): 110-116.