Title :
Formal analysis and improvement of IKEv2 protocol
Author :
Zhu, Xiaowei ; Zhou, Haigang ; Liu, Jun
Author_Institution :
Institute of Communications Engineering, PLA University of Science and Technology, Nanjing, China
Abstract :
IKEv2 is the new version of Internet Key Exchange protocol. Despite of its several advantages, it is still susceptible to some attacks, such as man-in-the-middle attack and replay attack. The protocol is analyzed based on BSW logic formally, then an improved scheme is proposed and proved by extended BSW logic. The improvement can achieve the identity authentication in advance, resist man-in-the-middle attack and replay attack, and fulfill the authentication, secrecy and integrity of this protocol.
Keywords :
Authentication; Nickel; Protocols; Public key; Resists; BSW logic; IKEv2; man-in-the-middle attack; pre-shared key; replay attack;
Conference_Titel :
Information Science and Engineering (ICISE), 2010 2nd International Conference on
Conference_Location :
Hangzhou, China
Print_ISBN :
978-1-4244-7616-9
DOI :
10.1109/ICISE.2010.5688500
