基于串空间模型的Athena方法的改进

• 作者: 古天龙 吴光伟 董荣胜 郭云川
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 串空间 Athena DH密钥协商 IKEv2协议
• 年，卷（期）: 2007,（8）
• 所属期刊栏目: 安全技术
• 页码范围: 136-138,144
• 页数: 4页
• 分类号: TP393
• 字数: 4531字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.08.046

摘要

Athena分析方法由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.该文针对互联网密钥交换协议(IKEv2),对Athena方法进行了扩展:修改消息项结构,扩展密码学原语,使其能分析DH(Diffie-Hellman)密钥协商问题,修改内在项关系,使其能应对更复杂的消息构造情况,并对相关命题和定理进行了证明.根据扩展后的Athena方法,对IKEv2协议的秘密性和认证性等进行了分析,对协议的特点作了进一步讨论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学计算机系	207	1546	18.0	30.0
2	董荣胜	桂林电子科技大学计算机系	115	1521	13.0	37.0
3	郭云川	桂林电子科技大学计算机系	25	119	8.0	10.0
4	吴光伟	桂林电子科技大学计算机系	5	11	2.0	3.0