[論文レビュー] Composing Quantum Protocols in a Classical Environment

Serge Fehr, Christian Schaffner|ArXiv.org|Apr 7, 2008

Quantum Information and Cryptography参考文献 14被引用数 4

ひとこと要約

この論文は、古典的2者間タスクを実装する量子プロトコルのための単純な、情報理論的セキュリティ定義を提案し、それが古典的プロトコル内でのサブルーチンとして安全に合成可能であることを保証する。主な貢献は、量子プロトコルがこの定義を満たす場合、理想の機能をそれらの量子実装に置き換えることで、任意の古典的外部プロトコルにおいてもセキュリティが保たれることを示す合成定理である。

ABSTRACT

We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple quantum-information-theoretic conditions which must be satisfied by the protocol to be secure. The conditions are uniquely determined by the ideal functionality F defining the cryptographic task to be implemented. We then show the following composition result. If quantum protocols pi_1,...,pi_k securely implement ideal functionalities F_1,...,F_k according to our security definition, then any purely classical two-party protocol, which makes sequential calls to F_1,...,F_k, is equally secure as the protocol obtained by replacing the calls to F_1,...,F_k with the respective quantum protocols pi_1,...,pi_k. Hence, our approach yields the minimal security requirements which are strong enough for the typical use of quantum protocols as subroutines within larger classical schemes. Finally, we show that recently proposed quantum protocols for oblivious transfer and secure identification in the bounded-quantum-storage model satisfy our security definition, and thus compose in the above sense.

研究の動機と目的

• 暗号的応用における量子プロトコルのための標準的で実用的なセキュリティ定義の欠如に対処すること。
• 量子プロトコルが古典的プロトコル内でのサブルーチンとして安全に合成可能であることを保証する最小限のセキュリティ条件を定義すること。
• 強い合成可能性の保証と実装可能で効率的なセキュリティ要件の両立を図るフレームワークを提供すること。
• 既存の境界付き量子ストレージモデルにおける量子プロトコルが、提案された定義を満たすことを示すこと。
• 例えばオーバーオールトランスファーに基づく情報理論的古典的構成において、量子サブルーチンを用いる基盤を確立すること。

提案手法

• シミュレーターや環境を必要とせず、プロトコルの出力状態に関する単純な量子情報理論的条件によってセキュリティを定義する。
• 敵の視認と誠実な参加者の入力との間の近似的独立性をトレース距離によって定量化することで、セキュリティ条件を表現する。
• 実際のプロトコルの出力分布と理想の機能の出力が、トレース距離の上限内で区別不能であることに基づいてセキュリティを形式化する。
• トレース距離と量子状態の近似を用いてセキュリティを定量化し、誤差パラメータ（例：ε）によって理想動作からの逸脱を上限付ける。
• 境界付き量子ストレージモデルにおける1対2のオーバーオールトランスファーと安全な識別プロトコルといった具体的なプロトコルに定義を適用する。
• 合成定理を証明：理想の機能をこの定義を満たす量子プロトコルに置き換えることで、任意の古典的外部プロトコルにおいてもセキュリティが保たれることを示す。

実験結果

リサーチクエスチョン

• RQ1 量子プロトコルがより大きな古典的プロトコル内でのサブルーチンとして安全に使用可能であることを保証するための最小限のセキュリティ条件は何か？
• RQ2 ユニバーサル合成可能性やシミュレーターに基づくフレームワークに依存せずに、量子プロトコルのためのセキュリティ定義をどのように定式化できるか？
• RQ3 境界付き量子ストレージモデルにおけるオーバーオールトランスファーおよび識別用の既存の量子プロトコルが、この新しい定義のもとで安全であることが示せるか？
• RQ4 この提案された定義は、量子サブルーチンが古典的プロトコルに埋め込まれた場合の合成可能性を保証するか？
• RQ5 量子プロトコル設計において、セキュリティの強度と実装可能性のトレードオフは何か、そしてそれを形式化できるか？

主な発見

• 提案されたセキュリティ定義は、実際のプロトコル出力と理想の出力との間のトレース距離条件にのみ依存しており、単純かつ情報理論的である。
• この定義により、理想の機能を順次呼び出す任意の古典的プロトコルは、それらの機能がこの定義を満たす量子プロトコルに置き換えられても、同等に安全であることが保証される。
• 境界付き量子ストレージモデルにおける1対2のオーバーオールトランスファープロトコルは、4εのセキュリティロスでこのセキュリティ定義を満たしており、合成可能性が証明された。
• 敵の視認が誠実な参加者の入力に対して近似的に独立であることを示すことで、アリスとボブの両方のセキュリティが確立され、トレース距離の上限内に収まる。
• 合成定理は、外部プロトコルが古典的であるという制限のもとで成立するが、これは現在の技術的制限を反映しており、より穏やかで実用的なセキュリティ条件を可能にする。
• 不正なプレーヤーの入力分布に依存しないように、状態の近似とトレース距離の不等式を用いることで、証明技法が設計されており、さまざまな状況にわたり強固であることが保証されている。