[論文レビュー] A Proof of the Security of Quantum Key Distribution

Eli Biham, Michel Boyer+3 more|ArXiv.org|Dec 11, 1999

Quantum Information and Cryptography参考文献 25被引用数 63

ひとこと要約

この論文は、量子力学が許すあらゆる攻撃、包括的に無制限の計算能力と量子技術を有する攻撃に対しても、BB84量子鍵配送プロトコルの安全性をきめ細やかに証明する。量子情報理論、盗聴者状態の純粋化、利用可能な情報のトレースノルムの上限、およびプライバシー強化を伴うランダム線形符号を活用することで、7.56%の誤り率まで漸近的に安全であることを確立し、最も強力な攻撃者に対しても情報論的セキュリティを保証する。

ABSTRACT

We prove the security of quantum key distribution against the most general attacks which can be performed on the channel, by an eavesdropper who has unlimited computation abilities, and the full power allowed by the rules of classical and quantum physics. A key created that way can then be used to transmit secure messages in a way that their security is also unaffected in the future.

研究の動機と目的

• 量子力学が許すあらゆる攻撃に対して、BB84量子鍵配送プロトコルの情報論的セキュリティを確立すること。
• 無制限の計算能力、量子メモリ、および量子チャネルへの完全なアクセスを持つ盗聴者に対しても安全性を証明すること。
• 純粋化、トレースノルムの差、対称性に基づく簡略化を用いることで、複雑な最適化を避けた簡潔できめ細かな証明を提供すること。
• 盗聴者の利用可能な情報が、量子チャネルに引き起こされる誤り率の関数として明示的な上限を導出すること。
• ランダム線形符号とプライバシー強化を用いて、誤り率が7.56%に達するまででも漸近的に安全であることを示すこと。

提案手法

• 盗聴者の密度行列を簡素化するため、純粋状態表現を用いることで攻撃空間を純粋状態系に削減する。
• トレースノルムの差の上限を適用し、あらゆる測定戦略の最適化を必要とせずに、盗聴者の利用可能な情報の上限を定める。
• 盗聴者の利用可能な情報と、彼女が量子チャネルに引き起こす誤り率との直接的な関連を確立する。
• すべての量子ビットが鍵のふるい分けに使用される「使用済みビットBB84」スキームに、完全なBB84プロトコルを簡略化し、解析を容易にしながらもセキュリティを保持する。
• 誤検出確率と最小距離に関する確率的上限を伴うランダム線形符号（RLC）を用いて、誤り訂正とプライバシー強化を実行する。
• 対称性と確率的解析を用いて、符号の失敗確率および盗聴者の成功確率がブロック長nに対して指数的に小さくなることを示す。

実験結果

リサーチクエスチョン

• RQ1 量子力学が許すあらゆる攻撃に対して、BB84プロトコルの安全性をきめ細かに証明できるか？
• RQ2 最も一般な攻撃のもとで、BB84プロトコルが依然として安全であるための量子チャネルにおける最大誤り率は何か？
• RQ3 測定戦略の最適化に依存せずに、盗聴者の利用可能な情報をどのように上限づけることができるか？
• RQ4 複雑さを減らし、透明性を高めつつも、きめ細かさと一般性を保ったまま、安全性証明を簡略化できるか？
• RQ5 ランダム線形符号とプライバシー強化は、盗聴が存在する状況において、信頼性と機密性を確保するために果たす役割は何か？

主な発見

• BB84プロトコルは、無制限の計算能力と量子メモリを有する攻撃を含め、あらゆる量子力学的攻撃に対して漸近的に安全である。
• セキュリティが保たれる最大の許容誤り率は7.56%であり、これは最適な盗聴のもとで秘密鍵レートが正のまま保たれる条件から導かれる。
• 誤り訂正またはプライバシー強化の失敗確率は、ブロック長nに対して指数的に小さくなるため、高い信頼性が保証される。
• 盗聴者の利用可能な情報は、nとともに指数的に減少する項によって上限づけられており、情報論的セキュリティが保証される。
• ランダム線形符号の使用により、双対符号の距離が高確率で十分に大きくなることが保証され、安全条件d⊥ ≥ 2n(pa + εsec)を満たす。
• セキュリティの閾値は不等式1 − H₂(2pa) − H₂(pa) > R_secretによって決定され、R_secretは秘密鍵レートを表し、pa < 7.56%はこの条件を漸近的に満たす。