Computer Engineering and Applications ›› 2012, Vol. 48 ›› Issue (2): 59-62.
• 网络、通信、安全 • Previous Articles Next Articles
ZHU Xiaowei, ZHOU Haigang, LIU Jun
Received:
Revised:
Online:
Published:
朱晓薇，周海刚，刘 军
Abstract: In this paper, Internet Key Exchange protocol（IKEv2） 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.
Key words: BSW logic, IKEv2 protocol, man-in-the-middle attack, pre-shared key
摘要： 基于BSW逻辑对互联网密钥交换协议（IKEv2）进行了形式化分析，证明协议在预共享密钥认证方式下存在中间人攻击，提出一个改进方案，并利用扩展的BSW逻辑分析了改进后的协议能够抵御中间人攻击，且能够满足协议的认证性、秘密性和完整性。
关键词: BSW逻辑, IKEv2协议, 中间人攻击, 预共享密钥
ZHU Xiaowei, ZHOU Haigang, LIU Jun. Formal analysis and improvement of IKEv2 against man-in-the-middle attack[J]. Computer Engineering and Applications, 2012, 48(2): 59-62.
朱晓薇，周海刚，刘 军. 针对中间人攻击的IKEv2形式化分析与改进[J]. 计算机工程与应用, 2012, 48(2): 59-62.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/
http://cea.ceaj.org/EN/Y2012/V48/I2/59
