密码协议形式化分析的计算合理性

• 作者: 王亚弟 王全来 韩继红
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 形式化方法 计算方法 合理性定理 密码协议分析
• 年，卷（期）: 2007,（21）
• 所属期刊栏目: 博士论坛
• 页码范围: 8-11
• 页数: 4页
• 分类号: TP393
• 字数: 5690字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.21.003

摘要

基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理.通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	王全来	解放军信息工程大学电子技术学院	5	11	2.0	3.0