Strong authenticated key exchange with auxiliary inputs

Strong authenticated key exchange with auxiliary inputs
复制标题

具有辅助输入的强认证密钥交换

DOI:
10.1007/s10623-016-0295-3
复制
发表时间:
2016-11
期刊:
Des. Codes Cryptography
影响因子:
--
通讯作者:
Fuchun Guo
Fuchun Guo
中科院分区:
其他
文献类型:
--
作者:
Rongmao Chen;Yi Mu;Guomin Yang;Willy Susilo;Fuchun Guo

文献摘要

参考文献

被引文献

相似文献

泄漏攻击,包括各种旁路攻击,允许攻击者了解有关内部秘密的部分信息,如密钥和密码系统的随机性。设计一个强大的、有意义的、但可实现的安全概念来捕获实际的泄漏攻击是防泄漏密码学的主要目标之一。在这项工作中,我们回顾了具有泄漏恢复能力的认证密钥交换(AKE)协议的建模和设计。我们表明,现有的关于这个主题的工作在捕获真实的泄漏攻击方面是不够的。为了缩小这一研究空白,我们提出了一种新的安全概念--泄漏弹性ECK模型W.r.t.AKE协议的辅助输入(),解决了以前模型的限制。我们的模型允许长期密钥和随机性的计算难以逆转的泄漏,并解决了大多数以前的模型中存在的限制,即不允许对手在质询会话期间进行泄漏查询。作为这项工作的另一个主要贡献,我们提出了一个通用的框架来构造在所提出的模型下是安全的AKE协议。文中还给出了一个基于标准模型中决策Diffie-Hellman(DDH)假设的实例,以验证所提出的框架的可行性。
Leakage attacks, including various kinds of side-channel attacks, allow an attacker to learn partial information about the internal secrets such as the secret key and the randomness of a cryptographic system. Designing a strong, meaningful, yet achievable security notion to capture practical leakage attacks is one of the primary goals of leakage-resilient cryptography. In this work, we revisit the modelling and design of authenticated key exchange (AKE) protocols with leakage resilience. We show that the prior works on this topic are inadequate in capturing realistic leakage attacks. To close this research gap, we propose a new security notion namedleakage-resilient eCK model w.r.t. auxiliary inputs() for AKE protocols, which addresses the limitations of the previous models. Our model allows computationally hard-to-invert leakage ofboth the long-term secret key and the randomness, and also addresses a limitation existing in most of the previous models where the adversary is disallowed to make leakage queries during the challenge session. As another major contribution of this work, we present a generic framework for the construction of AKE protocols that are secure under the proposedmodel. An instantiation based on the decision Diffie–Hellman (DDH) assumption in the standard model is also given to demonstrate the feasibility of our proposed framework.
DOI: 10.1007/978-3-642-14452-3_5
发表时间: 2010
期刊: --
影响因子: --
作者:
François-Xavier Standaert;Olivier Pereira;Yu Yu-Yu;J. Quisquater;M. Yung;E. Oswald
通讯作者: François-Xavier Standaert;Olivier Pereira;Yu Yu-Yu;J. Quisquater;M. Yung;E. Oswald
DOI: 10.1007/s00145-010-9092-8
发表时间: 2005-05
影响因子: 3
作者:
S. Halevi;Y. Kalai
通讯作者: S. Halevi;Y. Kalai
DOI: 10.1007/978-3-540-76900-2_29
发表时间: 2007-12
期刊: --
影响因子: --
作者:
T. Okamoto
通讯作者: T. Okamoto
DOI: 10.1145/1866307.1866324
发表时间: 2010-10
期刊: --
影响因子: --
作者:
Yu Yu-Yu;François-Xavier Standaert;Olivier Pereira;M. Yung
通讯作者: Yu Yu-Yu;François-Xavier Standaert;Olivier Pereira;M. Yung
DOI: 10.1007/978-3-319-11203-9_8
发表时间: 2014-09
期刊: Chemistry Africa
影响因子: --
作者:
Tsz Hon Yuen;Ye Zhang;S. Yiu;Joseph K. Liu
通讯作者: Tsz Hon Yuen;Ye Zhang;S. Yiu;Joseph K. Liu