This paper extends theory of Athena approach according to IKEv2 protocol. In the structure of message terms,some cryptographic primitives are added to handle DH key agreement,and the in-term relation is modified to deal with complex message structure.

• 该文针对互联网密钥交换协议(IKEv2),对Athena方法进行了扩展:修改消息项结构,扩展密码学原语,使其能分析DH(Diffie-Hellman)密钥协商问题,修改内在项关系,使其能应对更复杂的消息构造情况,并对相关命题和定理进行了证明。