双向认证的密码协议及其形式分析与应用

摘要：

在安全数据通信中,身份认证和会话密钥的协商是极为重要的问题,近年来,实现这种类型的密码协议主要是通过可信第三方参与身份的认证和会话密钥的协商,因而,可信第三方的可靠性和安全性是系统性能的瓶颈.提出了一个双向的认证密码协议,解决了可信第三方的性能瓶颈问题,是一个更为有效的、安全的密码协议.用串空间的认证测试理论对其进行了形式分析,最后探讨了它在TLS协议中的应用.

关键词：数字签名、串空间、认证测试理论

所属期刊栏目：22

分类号：TP393.04(计算技术、计算机技术)

在线出版日期：2006-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：834-840