10.3969/j.issn.1000-3428.2006.05.058
IKEv2协议的SPIN模型检测
基于模型检测技术,使用SPIN对IKEv2协议进行了建模和分析.应用Promela语言描述了协议模型,并用LTL规约了该协议需要满足的认证性和秘密性,最后对检测结果进行了分析.
IKE协议、模型检测、SPIN、Promela
32
TP311(计算技术、计算机技术)
Grant-in-Aid from the International Center for Diffraction Data0542052
2006-04-20(万方平台首次上网日期,不代表论文的发表时间)
共4页
164-166,246