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

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

朱晓薇，周海刚，刘军

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

ZHU Xiaowei, ZHOU Haigang, LIU Jun

计算机工程与应用 . 2012, (2): 59 -62 .