基于刚性与相似性概念的密码协议分析方法

• 作者: 王颖 田园 金月 金锋
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 计算密码学 形式模型 UC-相似 Dolev-Yao刚性 Dolev-Yao相似性
• 年，卷（期）: 2009,（4）
• 页码范围: 618-634
• 页数: 17页
• 分类号: TP309
• 字数: 22914字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.00618

摘要

如何融合计算密码学与形式演算模型两条途径以有效分析和证明复杂密码协议,是信息安全领域富有挑战性的问题之一.文中提出Dolev-Yao刚性和Dolev-Yao相似性概念,运用密码协议的语法骨架提取与语义赋值技术,建立起一个能涵盖除具有适应性入侵能力之外的任何主动攻击者和大部分有实际意义的非自由消息代数的理论分析框架.该框架内所证明的协议安全性质具有复合一稳定性,即所证明的安全性质在协议与环境复合时仍然保持成立.文中针对strand一图模型这一具体情形证明了Canetti的UC-相似性概念与这里所建立的Dolev-Yao相似性概念之间接近充分必要程度的对偶关系,从而对融合UC-理论/strand-图模型这一情形具体证明了该分析框架具有相容性和完备性.最后,根据以上理论结果讨论了如何建立一种对应的新的协议分析方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田园	大连理工大学软件学院	15	74	5.0	8.0
2	王颖	大连理工大学数学科学学院	62	257	9.0	15.0
3	金锋	大连理工大学软件学院	5	20	3.0	4.0
4	金月	大连理工大学软件学院	1	6	1.0	1.0