[論文レビュー] The Universal Composable Security of Quantum Key Distribution

Michael Ben-Or, Michał Horodecki+3 more|ArXiv.org|Sep 14, 2004

Physical Unclonable Functions (PUFs) and Hardware Security被引用数 4

ひとこと要約

本稿は、量子鍵配送（QKD）の普遍的で合成可能なセキュリティ枠組みを確立し、QKDで生成された鍵がその後続プロトコルでも安全であることを保証する合成可能なセキュリティ定義を導入する。標準的なQKDセキュリティが合成可能なセキュリティを意味することを証明し、QKDと鍵使用の間の共同攻撃に関する長年の懸念を解消し、このモデル下で繰り返しQKDを実行してもセキュリティがゆっくりと低下することを示す。

ABSTRACT

The existing unconditional security definitions of quantum key distribution (QKD) do not apply to joint attacks over QKD and the subsequent use of the resulting key. In this paper, we close this potential security gap by using a universal composability theorem for the quantum setting. We first derive a composable security definition for QKD. We then prove that the usual security definition of QKD still implies the composable security definition. Thus, a key produced in any QKD protocol that is unconditionally secure in the usual definition can indeed be safely used, a property of QKD that is hitherto unproven. We propose two other useful sufficient conditions for composability. As a simple application of our result, we show that keys generated by repeated runs of QKD degrade slowly.

研究の動機と目的

• 標準的な定義がQKDとその後続の鍵使用の間の共同攻撃を考慮しないセキュリティギャップを埋めるため。
• QKDの合成可能なセキュリティ定義を形式化し、その鍵を任意の下流プロトコルで安全に使用できることを保証するため。
• 既存のQKDの無条件セキュリティ定義が新しい合成可能なセキュリティ定義を含むことを証明するため。
• 標準定義を超える合成可能性の十分条件を同定し、繰り返し実行による鍵の劣化を含むため。
• 合成可能な定義が用いられる場合、盗聴者（Eve）が測定を遅延させてもセキュリティが損なわれないことを示すため。

提案手法

• 量子設定に適応した普遍的で合成可能な（UC）セキュリティ枠組みを導入し、QKDを環境およびシミュレータと相互作用するプロトコルとしてモデル化する。
• 実際のプロトコルと理想のプロトコルの間のトレース距離に基づく合成可能なセキュリティ条件を定義し、無視できるεの範囲内で区別不能であることを保証する。
• ハイブリッド法を用いて、実際のQKDプロトコルと理想の機能の間のトレース距離を評価し、中間状態（ρ_qi1, ρ_qi2）を構築し、それらの優先度を分析する。
• 最終状態が完全なEPR対に近いかつ高い優先度を持つ場合、それが合成可能なセキュリティを示すことを示す。
• Eveの状態のホルエボ情報および利用可能な情報が無視できる場合、合成可能な定義下で鍵が安全であることを活用する。
• 実際のプロトコルと理想のプロトコルの間のトレース距離が無視できるという事実を示すことで、標準的定義下でのQKDセキュリティが合成可能なセキュリティを意味することを証明する。

実験結果

リサーチクエスチョン

• RQ1 標準的なQKDセキュリティ定義は、Eveが測定を鍵使用後に遅延させる場合でも、鍵をその後続プロトコルで安全に使用できることを保証できるか？
• RQ2 QKDと鍵の応用の間の共同攻撃を考慮する合成可能なセキュリティ定義は何か？
• RQ3 標準的意味で無条件に安全なQKDプロトコルは、新しい合成可能な定義下でも安全であるか？
• RQ4 QKDの繰り返し使用は鍵のセキュリティにどのように影響し、合成可能性の下でその劣化を定量できるか？
• RQ5 特に集団攻撃の下で、鍵を量子暗号に使用する場合、QKDのセキュリティは保持されるか？

主な発見

• 標準的なQKDの無条件セキュリティ定義は、新しい合成可能なセキュリティ定義を含み、鍵が任意の後続プロトコルで安全に使用できることを保証する。
• 繰り返し実行されるQKDにおいて、鍵はゆっくりと劣化し、セキュリティ損失は実際のプロトコルと理想のプロトコルの間のトレース距離によって上限が定められる。
• 合成可能なセキュリティ定義により、Eveが鍵使用後に測定を遅延させても、その情報獲得量は無視できる範囲に留まる。
• AliceとBobが共有する最終状態が完全なEPR対に近いかつ高い優先度を持つことは、合成可能なセキュリティの十分条件であり、高い優先度はEveの情報獲得量が無視できることを示す。
• 合成可能な定義下で、すべての鍵の平均を取ったEveの状態の利用可能な情報量は無視できるため、鍵はほぼ一様かつ正しく共有されていることが保証される。
• 本稿は、標準的定義下でのQKDセキュリティが合成可能性に十分であることを確立し、量子暗号分野における長年の未解決問題を解決する。