期刊文献+

一种改进的IKEv2协议及其形式化验证 被引量:3

Improved IKEv2 protocol and its formal verification
下载PDF
导出
摘要 针对IKEv2协议在系统开销和发起方身份保护方面的不足,提出了一种改进协议的方案。新的协议采用基于超椭圆曲线的W eil对技术进行数字签名认证,并且首先认证响应方身份。通过该方案,改进后的协议降低了系统开销,实现了对发起方身份的主动保护。最后,基于应用pi演算的方法对协议进行了建模,并定义和分析了协议的安全属性。结果表明,改进后的协议具有更好的安全性和实用性。 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.
机构地区 西安通信学院
出处 《计算机应用研究》 CSCD 北大核心 2010年第2期707-711,共5页 Application Research of Computers
基金 国家"863"计划资助项目(2007AA01Z472)
关键词 IKEV2协议 身份保护 WEIL对 应用pi演算 IKEv2 protocol identity protection Weil pairing applied pi calculus
  • 相关文献

参考文献22

  • 1HARK1NS D, CARREL D. RFC 2409, The Internet key exchange (IKE) [ S]. United States: RFC Editor, 1998. 被引量:1
  • 2HANDLY M, GREENHALGH A. Steps towards a DoS resistant Internet architecture[ C]//Proc of ACM SIFCOMM Workshop on future Directions in Network Architecture. Portland: ACM Press, 2004 : 49- 56. 被引量:1
  • 3KAUFMAN C. RFC 4306, lnternet key exchange (IKEv2) protocol [S]. Washington: IETF, 2005. 被引量:1
  • 4STEVEN M, BELLOVIN, MICHAEL M. Encrypted key exchange: password -based protocols secure against dictionary attacks[ C ]//Proc of IEEE Symposium on Research in Security and Privacy. Oakland: IEEE Computer Society, 1992:72-84. 被引量:1
  • 5RAED B H. Enhancing the IKE pre-shared key authentication method [ D]. Missouri: Graduate School, University of Missouri-Columbia, 2006. 被引量:1
  • 6张朝东,徐明伟.密钥交换协议IKEv2的分析与改进[J].清华大学学报(自然科学版),2006,46(7):1274-1277. 被引量:4
  • 7刘文红..下一代互联网服务保障关键技术研究[D].北京交通大学,2007:
  • 8曹春杰,张帆,马建峰.可证安全的Internet密钥交换协议[J].武汉大学学报(理学版),2006,52(5):545-549. 被引量:4
  • 9沈海峰,薛锐,黄河燕.IKE2协议的安全性分析[J].计算机科学,2005,32(11):59-63. 被引量:5
  • 10吴昌,肖美华.基于SPIN的IKEv2协议高效模型检测[J].计算机工程与应用,2008,44(5):158-161. 被引量:5

二级参考文献78

共引文献121

同被引文献18

引证文献3

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部