互联网密钥交换协议的SMV分析

• 作者: 古天龙 常亮 郭云川
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: IKE协议 模型检测 SMV
• 年，卷（期）: 2005,（19）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 154-157,173
• 页数: 5页
• 分类号: TP393.08
• 字数: 6684字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.19.046

摘要

该文基于SMV对新版本的互联网密钥交换协议(IKEv2)进行了分析.在对IKEv2协议进行形式建模,以及应用CTL对相应的安全性质进行形式描述的基础上,利用SMV分析了协议的认证性、秘密性和完整性,发现了两个攻击,并对这两个攻击所产生的影响进行了讨论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	郭云川	桂林电子工业学院计算机系	25	119	8.0	10.0
3	常亮	桂林电子工业学院计算机系	77	450	12.0	17.0