• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Applied Cryptography and Network Security >Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol
【24h】

Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol

机译：会话状态揭示比短信号更强大：攻击纳克索斯经过身份验证的密钥交换协议

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

摘要

In the paper "Stronger Security of Authenticated Key Exchange" [1,2], a new security model for authenticated key exchange protocols (eCK) is proposed. The new model is suggested to be at least as strong as previous models for key exchange protocols. The model includes a new notion of an Ephemeral Key Reveal adversary query, which is claimed in e.g. [2,3,4] to be at least as strong as the Session-state Reveal query. We show that Session-state Reveal is stronger than Ephemeral Key Reveal, implying that the eCK security model is incomparable to the CK model [5,6]. In particular we show that the proposed NAXOS protocol from [1,2] does not meet its security requirements if the Session-state Reveal query is allowed in the eCK model. We discuss the implications of our result for some related protocols proven correct in the eCK model, and discuss the interaction between Session-state Reveal and protocol transformations.
机译：在“认证密钥交换的更强安全性”中，提出了一种用于经过身份验证的密钥交换协议（ECK）的新安全模型。建议新模型至少与以前的关键交换协议模型一样强。该模型包括一个新的纪念纪念术语，揭示了敌对查询，这些查询在例如： [2,3,4]至少与会话状态显示查询一样强。我们表明会话状态揭示比暂时揭示更强大，暗示ECK安全模型对CK模型无与伦比[5,6]。特别是我们表明，如果在ECK模型中允许在ECK模型中允许会话状态显示查询，所提出的NAXOS协议不符合其安全要求。我们讨论了我们在ECK模型中证明了一些相关协议的结果的含义，并讨论了会话状态揭示和协议转换之间的互动。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号