• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>ICCCI 2010;International conference on computer and computational intelligence >Formal Analysis based on Semantics for Improved IKEv2 Protocol
【24h】

Formal Analysis based on Semantics for Improved IKEv2 Protocol

机译：基于语义的形式化改进IKEv2协议

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

IKEv2 is the new version of Internet Key Exchange protocol. Despite of its several advantages, it is still susceptible to some attacks, such as man-in-the-middle attack and replay attack. In this paper, we extend BSW logic (E-BSW) first, and provide the formal semantics for validating the inference rules. Then we analyze IKEv2 protocol formally, propose an improved scheme, and prove it by the EBSW logic. The improvement can resist man-in-themiddle attack and replay attack, and fulfill the authentication, secrecy and integrity of this protocol.
机译：IKEv2是Internet密钥交换协议的新版本。尽管具有多个优点，但它仍然容易受到一些攻击，例如中间人攻击和重播攻击。在本文中，我们首先扩展了BSW逻辑（E-BSW），并提供了用于验证推理规则的形式语义。然后，我们对IKEv2协议进行了正式分析，提出了一种改进方案，并通过EBSW逻辑对其进行了证明。该改进可以抵抗中间人攻击和重播攻击，并实现该协议的认证，保密性和完整性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号