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

摘要：

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

关键词：串空间、Athena、DH密钥协商、IKEv2协议

所属期刊栏目：33

分类号：TP393(计算技术、计算机技术)

资助基金：广西自然科学基金0542052

在线出版日期：2007-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：136-138,144