认证测试理论的扩展和应用

摘要：

通过在串空间中加入新的密码原语,重新定义认证测试的前提条件、扩展认证测试理论,使其能够分析有签名运算的密码协议.通过对基于Diffie-Hellman密钥交换的安全协议进行合理的假设,使其参数项具有现时值的性质,从而可以直接使用扩展的认证测试理论进行分析.使用扩展后的认证测试分析一个包含签名和Diffie-Hellman密钥交换的密码协议,得出该协议满足认证特性.

关键词：串空间、认证测试、Diffie-Hellrnau密钥交换协议、数字签名

所属期刊栏目：35

分类号：TP309.2(计算技术、计算机技术)

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

页数：共3页

页码：162-164