IKEv2协议的SPIN模型检测

陈大伟董荣胜郭云川古天龙

计算机工程2006，Vol.32Issue(5)：164-166,246,4.

Model Checking of IKEv2 Protocol via SPIN

陈大伟 ¹董荣胜 ¹郭云川 ¹古天龙¹

作者信息

IKE协议/模型检测/SPIN/Promela

信息技术与安全科学

陈大伟,董荣胜,郭云川,古天龙..IKEv2协议的SPIN模型检测[J].计算机工程,2006,32(5):164-166,246,4.

广西省自然科学基金资助项目(0542052) （0542052）

OA北大核心CSCDCSTPCD

ISSN：1000-3428

访问量0

下载量0

段落导航