IKEv2协议的SPIN模型检测

• 作者: 古天龙 董荣胜 郭云川 陈大伟
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: IKE协议 模型检测 SPIN Promela
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 安全技术
• 页码范围: 164-166,246
• 页数: 4页
• 分类号: TP311
• 字数: 4285字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.05.058

摘要

基于模型检测技术,使用SPIN对IKEv2协议进行了建模和分析.应用Promela语言描述了协议模型,并用LTL规约了该协议需要满足的认证性和秘密性,最后对检测结果进行了分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	董荣胜	桂林电子工业学院计算机系	115	1521	13.0	37.0
3	郭云川	桂林电子工业学院计算机系	25	119	8.0	10.0
4	陈大伟	桂林电子工业学院计算机系	3	28	2.0	3.0