Formal analysis and improvement of IKEv2 against man-in-the-middle attack
ZHU Xiaowei, ZHOU Haigang, LIU Jun
Computer Engineering and Applications . 2012, (2): 59 -62 .