基于SPIN的IKEv2协议高效模型检测

基于SPIN的IKEv2协议高效模型检测

吴昌,肖美华

Effective model checking of IKEv2 protocol based on SPIN

WU Chang,XIAO Mei-hua

计算机工程与应用 . 2008, (5): 158 -161 .