DocumentCode
2081827
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
fYear
2010
fDate
4-6 Dec. 2010
Firstpage
2092
Lastpage
2096
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Science and Engineering (ICISE), 2010 2nd International Conference on
Conference_Location
Hangzhou, China
Print_ISBN
978-1-4244-7616-9
Type
conf
DOI
10.1109/ICISE.2010.5688500
Filename
5688500
Link To Document