计算可靠的Diffie-Hellman密钥交换协议自动证明

• 作者: 冯超 唐朝京 张权
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 密码协议 Diffie-Hellman原语 Kerberos协议 自动化证明
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 技术报告
• 页码范围: 118-126
• 分类号: TP393
• 字数: 9069字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436X.2011.10.015

摘要

针对Diffie-Hellman密钥交换协议,提出了采用观测等价关系的建模方法,证明了该方法的可靠性,并利用该方法扩展了自动工具CryptoVerif的验证能力.发现了对公钥Kerberos协议自动证明中敌手能力模型的缺陷,并提出了修正方法.利用扩展的CryptoVerif自动证明了基于Diffie-Hellman的Kerberos协议的安全性,验证了该扩展方法的有效性.与现有大部分证明方法不同的是,该证明方法既保留了自动证明工具的易用性,又保证了计算模型下的强可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐朝京	国防科技大学电子科学与工程学院	97	885	15.0	24.0
2	冯超	国防科技大学电子科学与工程学院	9	62	3.0	7.0
3	张权	国防科技大学电子科学与工程学院	37	245	10.0	13.0