[論文レビュー] Unconditional security in Quantum Cryptography

Dominic Mayers|ArXiv.org|Feb 10, 1998

Quantum Information and Cryptography参考文献 16被引用数 35

ひとこと要約

この論文は、ノイズのあるチャネルや不完全な検出器を含む現実的な条件下でも、BB84量子鍵配送プロトコルの無条件の安全性をきめ細やかに証明している。POVM形式を用いて、送信者の状態準備が完全であり、受信者の検出基底選択が量子状態に依存しない限り、任意の量子攻撃に対しても安全性が保たれることを示している。

ABSTRACT

Basic techniques to prove the unconditional security of quantum cryptography are described. They are applied to a quantum key distribution protocol proposed by Bennett and Brassard in 1984. The proof considers a practical variation on the protocol in which the channel is noisy and photons may be lost during the transmission. The initial coding into the channel must be perfect (i.e., exactly as described in the protocol). No restriction is imposed on the detector used at the receiving side of the channel, except that whether or not the received system is detected must be independent of the basis used to measure this system.

研究の動機と目的

• 量子暗号における無条件の安全性を証明するための形式的枠組みを確立すること。
• ノイズのあるチャネルや不完全な検出器を伴う実用的状況における量子鍵配送の安全性を扱うこと。
• 量子鍵配送プロトコルにおける測定装置について理想化された仮定に依存しないこと。
• BB84を越える量子暗号プロトコルに対しても適用可能な一般化された証明技法を提供すること。
• あらゆる可能な量子攻撃、特に検出器の脆弱性を突く攻撃に対しても安全性を保証すること。

提案手法

• 受信者の側での任意の量子測定をモデル化するために、正の作用素値測定（POVM）形式を採用する。
• 実際の伝送の不備を反映するために、ノイズがあり損失のある量子チャネルをモデル化する。
• 送信者の状態準備が完全であると仮定し、初期符号化がプロトコル仕様と正確に一致することを保証する。
• 測定結果が使用された測定基底に依存してはならないという条件を課す。
• 攻撃者が成功するならば、量子力学に矛盾が生じることを示す還元的アプローチを用いる。
• 量子測定の原則とノークーリング定理を用いて、敵対者が得られる情報量の上限を定める。

実験結果

リサーチクエスチョン

• RQ1 ノイズのあるチャネルや不完全な装置を伴う状況でも、BB84プロトコルがすべての量子攻撃に対して安全であると証明できるか？
• RQ2 量子鍵配送における無条件の安全性をきめ細かに証明するために必要な数学的枠組みは何か？
• RQ3 安全性証明において、検出器のサイドチャネル攻撃をどのように排除できるか？
• RQ4 理想化された装置モデルに依存しないで安全性を保証するために必要な仮定は何か？
• RQ5 損失やノイズのあるチャネルを伴う実用的実装に対しても、安全性証明を拡張できるか？

主な発見

• BB84プロトコルは、量子チャネルがノイズがあり、光子が伝送中に失われる状況でも、無条件に安全である。
• 送信者の状態準備が完全であり、受信者の検出プロセスが測定基底に依存しない限り、安全性が維持される。
• 証明により、いかなる盗聴戦略でも、検出可能な摂動を引き起こさずに情報を取得することはできないことが示された。
• POVMの使用により、不完全な測定装置を含む一般化された測定装置の取り扱いが可能になった。
• 盗聴者の攻撃戦略に特定の性質を仮定することなく、安全性の境界が導出された。
• POVM形式とノークーリング定理の使用により、すべての可能な量子攻撃、特にコherentおよびコリティブ攻撃に対しても結果が成立する。