On the Security of Non-Interactive Key Exchange against Related-Key Attacks

Access this Article

Author(s)

    • MORITA Hiraku
    • Information Technology Research Institute (ITRI), National Institute of Advanced Industrial Science and Technology (AIST)
    • C.N. SCHULDT Jacob
    • Information Technology Research Institute (ITRI), National Institute of Advanced Industrial Science and Technology (AIST)
    • MATSUDA Takahiro
    • Information Technology Research Institute (ITRI), National Institute of Advanced Industrial Science and Technology (AIST)
    • HANAOKA Goichiro
    • Information Technology Research Institute (ITRI), National Institute of Advanced Industrial Science and Technology (AIST)
    • IWATA Tetsu
    • Dept. of Computational Science and Engineering, Nagoya University

Abstract

<p>Non-Interactive Key Exchange (NIKE) is a cryptographic primitive that allows two users to compute a shared key without any interaction. The Diffie-Hellman key exchange scheme is probably the most well-known example of a NIKE scheme. Freire et al. (PKC 2013) defined four security notions for NIKE schemes, and showed implications among them. In these notions, we consider an adversary that is challenged to distinguish a shared key of a new pair of users from a random value, using only its knowledge of keys shared between other pairs of users. To take into account side-channel attacks such as tampering and fault-injection attacks, Bellare and Kohno (Eurocrypt 2003) formalized related-key attacks (RKA), where stronger adversaries are considered. In this paper, we introduce four RKA security notions for NIKE schemes. In these notions, we consider an adversary that can also manipulate the secret keys of users and obtain shared keys computed under the modified secret keys. We also show implications and separations among the security notions, and prove that one of the NIKE schemes proposed by Freire et al. is secure in the strongest RKA sense in the random oracle model under the Double Strong Diffie-Hellman (DSDH) assumption over the group of signed quadratic residues, which is implied by the factoring assumption.</p>

Journal

  • IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E100.A(9), 1910-1923, 2017

    The Institute of Electronics, Information and Communication Engineers

Codes

Page Top