[論文レビュー] Universally composable privacy amplification against quantum adversaries

Renato Renner, Robert Koenig|ArXiv.org|Mar 18, 2004

Cryptography and Data Security参考文献 11被引用数 14

ひとこと要約

この論文は、攻撃者が初期文字列について量子情報を保持している場合でも、二重回帰ハッシュが普遍的に合成可能なプライバシー強化を提供することを確立している。抽出された鍵が強い普遍的合成セキュリティ定義のもとで安全であることを証明し、条件付きフォン・ノイマンエントロピーを用いて、鍵長の漸近的に最適な下界を導出している。これは古典的結果を量子設定に一般化し、BB84 や B92 などのプロトコルが任意の文脈においても安全であることを保証する。

ABSTRACT

Privacy amplification is the art of shrinking a partially secret string Z to a highly secret key S. We show that, even if an adversary holds quantum information about the initial string Z, the key S obtained by two-universal hashing is secure, according to a universally composable security definition. Additionally, we give an asymptotically optimal lower bound on the length of the extractable key S in terms of the adversary's (quantum) knowledge about Z. Our result has applications in quantum cryptography. In particular, it implies that many of the known quantum key distribution protocols are universally composable.

研究の動機と目的

• 量子攻撃者に対するプライバシー強化のセキュリティを、普遍的合成セキュリティ定義のもとで確立すること。
• 量子鍵配布（QKD）における既存のセキュリティ定義とより強い合成フレームワークとの間のギャップを埋めること。
• 攻撃者が量子情報を保持する状況下で抽出可能な秘密鍵の長さに対する漸近的にタイトな下界を導出すること。
• 条件付きフォン・ノイマンエントロピーを用いて、古典的鍵抽出レートを量子設定に一般化すること。

提案手法

• 実際の鍵と理想の均一分布鍵との距離に基づく、普遍的合成セキュリティ定義を用いる。
• 攻撃者が Z について量子情報を保持している場合でも、部分的に秘密である文字列 Z を、高い秘密性を持つ鍵 S に変換するために二重回帰ハッシュを適用する。
• 攻撃者の知識を定量化するために、最小エントロピーおよびスムーズエントロピー枠組みを用い、特にスムーズ最小エントロピーとスムーズ最大エントロピーを用いる。
• 条件付きフォン・ノイマンエントロピーを用いて、抽出可能な鍵長の下界を導出する：s ≥ S([Z⊗ρ]) − S([ρ]) − 2 log₂(1/(4ε)) + o(n)。
• この境界を用いて、[5] における汎用 QKD プロトコルのセキュリティと関連づけ、BB84 や B92 などの QKD プロトコルの合成可能性を証明する。
• シュールの不等式およびジェンセンの不等式を用いて、トレースノルムおよび密度作用素の固有値の境界を導出し、エントロピーに基づく解析を支援する。

実験結果

リサーチクエスチョン

• RQ1 攻撃者が量子情報を保持する場合でも、二重回帰ハッシュがプライバシー強化に対して普遍的合成セキュリティを提供できるか？
• RQ2 量子攻撃者が存在する状況下で、抽出可能な秘密鍵の長さに対する漸近的に最適な下界は何か？
• RQ3 BB84 や B92 などの既知の QKD プロトコルのセキュリティは、攻撃者が量子系を保持する場合でも合成可能か？
• RQ4 量子設定における鍵抽出レートは、条件付きフォン・ノイマンエントロピーとどのように関係するか？
• RQ5 抽出可能な鍵長の境界は、漸近的 i.i.d. 限界においてタイトか？

主な発見

• 二重回帰ハッシュによる抽出鍵長は、S([Z⊗ρ]) − S([ρ]) − 2 log₂(1/(4ε)) + o(n) で下から抑えられる。ここで S はフォン・ノイマンエントロピーを表す。
• この境界は i.i.d. 限界において漸近的にタイトであり、n → ∞ のとき、鍵長は H(Z|ρ) = S([Z⊗ρ]) − S([ρ]) に近づく。
• 抽出された鍵のセキュリティは普遍的合成可能であり、これは任意のより大きなプロトコルの構成要素として使用されても安全であることを意味する。
• この結果により、BB84 や B92 を含む多くの既知の QKD プロトコルが、Ben-Or 他 [8] の枠組みのもとで普遍的合成可能であることが示唆される。
• 漸近的 i.i.d. における鍵レート R は、R = H(Z|ρ) = S([Z⊗ρ]) − S([ρ]) で与えられ、これは古典的条件付きエントロピー結果を一般化する。
• 解析により、量子攻撃者のもとでのプライバシー強化のセキュリティが合成可能であることが示され、従来の研究で用いられた弱いセキュリティ定義とのギャップが解消された。