互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

一种改进的IKEv2协议及其形式化验证韩明奎 潘 进 李 波


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

  关键词:IKEv2协议; 身份保护; Weil对; 应用pi演算

  中图分类号:TP393.08

  文献标志码:A

  文章编号:1001-3695(2010)02-0707-05

  doi:10.3969/j.issn.1001-3695.2010.02.084

  Improved IKEv2 protocol and its formal verification

  HAN Ming-kui, PAN Jin, LI Bo

  (Xi’an Communications Institute, Xi’an 710106, China)

  Abstract:IKEv2 protocol had some flaw in protecting initiator’s identity and system requirement, so this paper presented an improved protocol. In the new protocol, used Weil pairing technology, based on hyperelliptic curves, in digital signature authentication, and first authenticated the responder. By those means, the protocol had reduced the system cost and actively protected the initiator’s identity. At last, formally analyzed the improved protocol’s security property based on applied pi calculus. Analysis result shows that the protocol has a better performance in secure and application.

  Key words:IKEv2 protocol; identity protection; Weil pairing; applied pi calculus

......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017