短期秘密鍵漏洩耐性を持つIoT向け耐量子認証鍵交換

• Item type: Symposium(1)
• 公開日: 2022-10-17
• タイトル: 短期秘密鍵漏洩耐性を持つIoT向け耐量子認証鍵交換
• タイトル / 言語: en
• タイトル: Post-Quantum Authenticated Key Exchange Resilient to Ephemeral Key Leakage in the Bounded-Retrieval Model for IoT
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 認証鍵交換, IoT-eCK, IoT, SCI, 耐量子
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 茨城大学
• 著者所属: 茨城大学
• 著者所属(英): en
• 著者所属(英): Ibaraki University
• 著者所属(英): en
• 著者所属(英): Ibaraki University
• 著者名: 石橋, 錬; 米山, 一樹
• 著者名(英): Ren, Ishibashi; Kazuki, Yoneyama
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 認証鍵交換（AKE） は複数のパーティ間で共通のセッション鍵を共有するための暗号プロトコルである．本研究では，双方のリソースが非対称であるような，IoT デバイスとサーバ間で実行される IoT-oriented AKE に注目する．Liu らは，perfect forward secrecy (PFS)，key compromise impersonation (KCI)，server compromise impersonation (SCI) に対して安全なビッグデータを用いた IoT 向け AKE (IoT-AKE) の安全性モデル (LTZモデル) を定式化した．また，彼らは IoT-AKE のフレームワークを提案し，具体的な耐量子方式を与えた．しかし，LTZ モデルは短期秘密鍵漏洩が考慮されていないモデルであり，また彼らの方式はランダムオラクルモデルを仮定している．本稿では，LTZ モデルを短期秘密鍵漏洩を捉えたモデルへ拡張し，ランダムオラクルモデルと標準モデルにおける IoT-AKE の一般構成をそれぞれ提案する．我々の一般構成により，初めての標準モデルで安全な耐量子 IoT-AKE 方式が得られる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Authenticated Key Exchange (AKE) is a cryptographic protocol to share a common session key among multiple parties. Recently, not only the ordinary PKI-based AKE but also the Internet of Things (IoT) setting has been studied. We focus on an IoT-oriented AKE (IoT-AKE) where the resources of both parties are asymmetric, such that the IoT-device runs the protocol to establish a session key with a remote server. Liu et al. formulated a security model of the IoT-AKE (LTZ model) using big-data in the bounded-retrieval model, which guarantees perfect forward secrecy (PFS), key compromise impersonation (KCI) and server compromise impersonation (SCI). Also, they proposed a modular IoT-AKE framework and concrete post-quantum schemes for IoT-AKE. However, the LTZ model does not consider the compromise of ephemeral secret keys, and their schemes rely on the random oracle model (ROM). In this paper, we extend the LTZ model to capture the compromise of ephemeral secret keys, and propose generic constructions of IoT-AKE in the ROM and in the standard model (StdM), respectively. Our constructions allow us to construct the first post-quantum IoT-AKE scheme (from isogenies, lattice, etc.) in the StdM.
• 書誌情報: コンピュータセキュリティシンポジウム2022論文集; p. 612-619, 発行日 2022-10-17
• 出版者 / 言語: ja
• 出版者: 情報処理学会