一种改进的IKEv2协议及其形式化验证

• 作者: 李波 潘进 韩明奎
• 来源期刊: 计算机应用研究
• 关键词: IKEv2协议 身份保护 Weil对 应用pi演算
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 信息安全技术
• 页码范围: 707-711
• 页数: 5页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.02.084

摘要

针对IKEv2协议在系统开销和发起方身份保护方面的不足,提出了一种改进协议的方案.新的协议采用基于超椭圆曲线的Weil对技术进行数字签名认证,并且首先认证响应方身份.通过该方案,改进后的协议降低了系统开销,实现了对发起方身份的主动保护.最后,基于应用pi演算的方法对协议进行了建模,并定义和分析了协议的安全属性.结果表明,改进后的协议具有更好的安全性和实用性.

作者信息

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