«上一篇/Previous Article|本期目录/Table of Contents|下一篇/Next Article»

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:

期数:

2010年08期

页码:

154-158

栏目:

安全与防范

出版日期:

1900-01-01

文章信息/Info

Title:

Formal Analysis and Improvement of IKEv2 Protocol Based on Extended Spi Calculus

文章编号:

1673-629X（2010）08-0154-05

作者:

韩明奎 潘进 刘琼 李波

西安通信学院

Author(s):

HAN Ming-kui; PAN Jin; LIU Qiong; LI Bo

Xi＇an Communications Institute

关键词:

IKEv2协议; Spi演算; Diffie-Hellman密钥交换; 身份保护

Keywords:

IKEv2 protocol;  Spi calculus;  Diffie-Hellman key exchange;  identity protection

分类号:

TP393.08

文献标志码:

A

摘要:

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

Abstract:

Since security is important for the new Internet Key Exchange protocol,and Spi calculus can be used to formal analysis protocol＇s security,the paper has studied IKEv2 based on Spi calculus.Firstly,as Spi couldn＇t define the Diffie-Hellman key exchanging a

备注/Memo

备注/Memo:

国家“863”计划资助项目（2007AA01Z472）韩明奎（1985-），男，河南南阳人，硕士研究生，CCF学生会员，研究方向为网络安全；潘进，教授，博导，研究方向为信号处理、网络安全

常用功能

更新日期/Last Update: 1900-01-01