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

• 作者: 王亚弟 王全来 韩继红
• 来源期刊: 科技与创新
• 关键词: 形式化方法 计算方法 合理性定理 密码协议分析
• 年，卷（期）: 2007,（24）
• 所属期刊栏目: 信息安全
• 页码范围: 50-52
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.24.020

摘要

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

作者信息

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