针对中间人攻击的IKEv2形式化分析与改进  

Formal analysis and improvement of IKEv2 against man-in-the-middle attack

作　　者：朱晓薇[1] 周海刚[1] 刘军[1] 

机构地区：[1]解放军理工大学通信工程学院,南京210007

出　　处：《计算机工程与应用》2012年第2期59-62,共4页Computer Engineering and Applications

基　　金：江苏省自然科学基金(No.BK2008090)

摘　　要：基于BSW逻辑对互联网密钥交换协议(IKEv2)进行了形式化分析,证明协议在预共享密钥认证方式下存在中间人攻击,提出一个改进方案,并利用扩展的BSW逻辑分析了改进后的协议能够抵御中间人攻击,且能够满足协议的认证性、秘密性和完整性。In this paper, Internet Key Exchange protoco（lIKEv2） is analyzed formally by BSW logic. It is proved that the pre-shared key authentication in IKEv2 is susceptible to man-in-the-middle attack. An improved scheme is proposed and analyzed by extended BSW logic, which can resist man-in-the-middle attack and fulfill the authentication, secrecy and integrity of this protocol.

关 键 词：BSW逻辑 IKEV2协议 中间人攻击 预共享密钥 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]