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

Hoi-Kwong Lo, H. F. Chau|arXiv (Cornell University)|Mar 3, 1998

Quantum Computing Algorithms and Architecture被引用数 5

ひとこと要約

本稿では、新規の還元技術を用いて、最も一般的な攻撃および量子ノイズに対して安全であることが証明された新しい量子鍵配送（QKD）方式を提示する。この技術的アプローチは、量子方式を同等の古典的検証プロトコルに還元することで安全性を証明するものである。この手法は、耐障害性のある量子計算を活用して、ノイズのある環境への安全性を拡張し、量子的・古典的セキュリティ証明の間の基盤的リンクを確立する。

ABSTRACT

We construct a new quantum key distribution scheme and prove its security against the most general type of attacks and the most general type of noises allowed by quantum physics. The novel technique we use is reduction from a quantum scheme to a classical scheme. We first show that, rather surprisingly, the proof of security of our quantum key distribution in the error-free case can be reduced to that of a classical verification scheme. In other words, the quantum verification procedure employed by us has a classical interpretation. By proving the security of the classical scheme, the security of our quantum key distribution scheme in the error-free case follows immediately. The security against the most general types of noises (channel noises, storage errors and computational errors) is then proven by using fault-tolerant quantum computation.

研究の動機と目的

• 最も一般的な種類の量子攻撃に対して安全な量子鍵配送方式の開発を目的とする。
• 統一されたセキュリティフレームワーク内で、量子チャネル、ストレージ、計算におけるノイズの課題に取り組むことを目的とする。
• 量子検証を古典的検証に還元することによって、量子的および古典的セキュリティ証明の間の明確な接続を確立することを目的とする。
• 耐障害性のある量子計算を用いて、理想の誤りなし状態から現実的なノイズのある量子環境への安全性の拡張を目的とする。

提案手法

• 誤りなし状態における量子鍵配送方式のセキュリティ証明を、古典的検証プロトコルのセキュリティ証明に還元する。
• 同等の古典的解釈を持つ量子検証手順を用い、古典的セキュリティ解析を可能にする。
• チャネルのノイズ、ストレージエラー、計算エラーを処理するために、耐障害性のある量子計算技術を適用する。
• 量子エラー訂正および耐障害性プロトコルを活用して、一般のノイズが存在する状況でもセキュリティを確立する。
• 古典的検証方式が安全であるという仮定に依存しており、これは理想状態における量子方式の安全性を示唆する。
• 耐障害性のある量子計算が現実のノイズモデル下でもセキュリティ保証を維持することを示すことによって、証明をノイズのある状況に拡張する。

実験結果

リサーチクエスチョン

• RQ1 量子鍵配送方式のセキュリティを、同等の古典的検証プロトコルのセキュリティに還元することは可能か？
• RQ2 チャネル、ストレージ、計算エラーを含む一般の量子ノイズが存在する状況でも、セキュリティを維持する方法は何か？
• RQ3 耐障害性のある量子計算が、現実のノイズ条件下での安全なQKDを実現するために果たす役割は何か？
• RQ4 量子検証手順は、セキュリティ証明に用いることができる意味のある古典的解釈を有するか？
• RQ5 単一のフレームワークで、攻撃者による攻撃と物理的ノイズの両方に対するセキュリティを統合することは可能か？

主な発見

• 誤りなし状態における提案された量子鍵配送方式のセキュリティは、同等の古典的検証方式のセキュリティに直接従う。
• 本方式で用いられる量子検証手順は、有効かつ意味のある古典的解釈を持つため、古典的証明技法を適用可能である。
• 耐障害性のある量子計算により、チャネルのノイズ、ストレージエラー、計算エラーを含む状況へのセキュリティの拡張が可能である。
• 本方式は、量子力学が許容する最も一般的な種類の攻撃および量子ノイズに対して、証明された安全性を有する。
• 還元技術により、確立された古典的セキュリティ結果を活用してQKDのセキュリティを証明する新たな道筋が提供される。