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

• 作者: 孙乐昌 陈建熊
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 串空间 认证测试 Diffie-Hellrnau密钥交换协议 数字签名
• 年，卷（期）: 2009,（15）
• 所属期刊栏目: 安全技术
• 页码范围: 162-164
• 页数: 3页
• 分类号: TP309.2
• 字数: 4238字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.15.056

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈建熊	合肥电子工程学院网络工程系	5	12	2.0	3.0
2	孙乐昌	合肥电子工程学院网络工程系	11	61	4.0	7.0