基于扩展Spi演算的IKEv2协议形式化分析与改进

• 作者: 刘琼 李波 潘进 韩明奎
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: IKEv2协议 Spi演算 Diffie-Hellman密钥交换 身份保护
• 年，卷（期）: 2010,（8）
• 页码范围: 154-158
• 分类号: TP393.08
• 字数: 4899字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2010.08.039

摘要

安全性是新一代密钥交换协议的关键,而Spi演算是研究协议安全性的一种形式化方法,文中采用Spi演算研究了IKEv2协议的安全属性.针对Spi演算不能形式化定义Diffie-Hellman密钥交换和密钥生成的问题,扩展了Spi演算的语法和语义.基于扩展的Spi演算形式化分析了IKEv2协议,分析结果表明协议满足认证性和私密性,但不能保护相对重要的发起方身份.针对IKEv2协议的不足,提出了一种基于Weil对签名算法的改进方案.改进后的协议解决了发起方身份保护问题,具有更好的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘进		53	378	8.0	18.0
2	韩明奎		6	17	2.0	4.0
3	李波		11	29	3.0	5.0
4	刘琼		5	10	2.0	2.0