[論文レビュー] On the post-quantum security of encrypted key exchange protocols

Li Yang, Rui-Rui Zhou|arXiv (Cornell University)|May 24, 2013

Quantum Computing Algorithms and Architecture参考文献 15被引用数 4

ひとこと要約

この論文は、イオントラップ量子コンピュータの物理的制約をモデル化することで、暗号化鍵交換（EKE）およびノー・キー（no-key）プロトコルの後量子セキュリティを評価し、40ビットのパスワードが100年間で複数のイオントラップ量子コンピュータを用いた量子攻撃者に対して十分な耐性を提供することを示している。本論文は、中間者攻撃に耐性を持つパスワード暗号化ノー・キープロトコルを提案し、量子ゲート操作の制限に基づいて物理的セキュリティを証明している。

ABSTRACT

We investigate the post-quantum security of the encrypted key exchange(EKE) protocols based on some basic physical parameters of ion-trap quantum computer, and show that the EKE protocol with a 40-bit password will be secure against a quantum adversary with several ion-trap quantum computers. We present a password encrypted no-key protocol to resist middle-man attack, and prove that it is also with the post-quantum security. The analysis presented here is probably of general meaning for the security evaluation of various hybrid cryptosystems.

研究の動機と目的

• 量子コンピュータの現実的な物理的制約の下で、EKEおよびノー・キープロトコルの後量子セキュリティを評価すること。
• イオントラップ量子コンピュータを用いた量子パスワード推測攻撃に対して耐性を持つために必要な最小パスワード長を特定すること。
• 中間者攻撃に耐性を持つパスワード暗号化ノー・キープロトコルの設計およびそのセキュリティの証明。
• 量子ゲート操作レートおよびキュービット相互作用ダイナミクスに基づく物理的セキュリティモデルの確立。
• 計算複雑性のみに依存するのではなく、物理的限界を用いたハイブリッド暗号方式の評価フレームワークの提供。

提案手法

• 10⁻¹⁴秒のエレメントリの量子ゲート操作の下限を用いて、イオントラップ量子コンピュータにおける離散対数計算の時間コストをモデル化する。
• 100年間でイオントラップ量子コンピュータが実行可能な離散対数サイクルの数を推定し、最大で約2⁶⁶サイクルに達することを示す。
• 各パスワードの推測が少なくとも1回の離散対数計算を要することから、パスワード長の下限を導出する。
• リーマン・ゼータ関数およびクーロン力モデルを用いて、イオントラップ系における有効な相互作用範囲およびゲート操作速度を推定する。
• すべてのメッセージが共有パスワードで対称暗号化されるように設計された暗号化ノー・キープロトコルを提案する。
• 導出された指数の整合性をチェックすることで、候補となる鍵の正しさを検証し、有効なパスワードのみが一致する結果をもたらすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 複数のイオントラップ量子コンピュータを備えた攻撃者に対して、EKEプロトコルにおける後量子セキュリティを確保するために必要な最小パスワード長は何か？
• RQ2 イオントラップ量子コンピュータの物理的制約は、鍵交換プロトコルに対する量子離散対数攻撃の実行可能性にどのように影響するか？
• RQ3 パスワード暗号化ノー・キープロトコルは、中間者攻撃に耐性を持ちながらも、後量子セキュリティを維持できるか？
• RQ4 量子ゲート操作速度およびキュービット相互作用ダイナミクスは、対称鍵保護プロトコルの実用的セキュリティを決定づける役割を果たすか？
• RQ5 量子ハードウェアの限界に基づく物理的セキュリティモデルは、ハイブリッド暗号方式の評価にどのように利用できるか？

主な発見

• 40ビットのパスワードは、100年間で複数のイオントラップ量子コンピュータを備えた攻撃者に対して、暗号化ノー・キープロトコルの後量子セキュリティを確保するのに十分である。
• 分析により、イオントラップ量子コンピュータが100年間で実行可能な離散対数サイクル数は約2⁶⁶に制限され、パスワードの推測回数もこれに制限されることを示している。
• 2²台のイオントラップ量子コンピュータを備えた量子攻撃者に対して、40ビットのパスワードは、利用可能なサイクル数よりもパスワードの組み合わせ数が少なくなることを保証し、ブルートフォース攻撃を非現実的にする。
• ゲート操作の制限およびキュービット相互作用ダイナミクスに基づく物理的セキュリティモデルにより、100年間の量子攻撃に対して40ビットのパスワード長が十分であることが立証された。
• 提案された暗号化ノー・キープロトコルは、攻撃者が共有パスワードを知らない限りメッセージを復号できないため、中間者攻撃に耐性を持つ。
• 本論文は、物理的制約がセキュリティ評価の根拠として利用可能であり、計算複雑性の仮定に依存するのではなく、実用的な代替手段を提供することを示している。