[論文レビュー] Security of key distribution from causality constraints

Lluís Masanes, Renato Renner+3 more|arXiv (Cornell University)|Jun 6, 2006

Quantum Mechanics and Applications被引用数 14

ひとこと要約

この論文は、ベル不等式の破れを示す非局所的相関に基づく、普遍的に合成可能な鍵配布プロトコルを提案する。量子力学を仮定せずに、信号伝播の原理に従ういかなる盗聴戦略に対しても安全性を保証する。この手法により、装置に依存しない安全性が達成され、測定統計にのみ依存するため、攻撃者や不完全な装置に対しても耐性を持つ。

ABSTRACT

We analyze a cryptographic protocol for generating a distributed secret key from correlations that violate a Bell inequality by a sufficient amount, and prove its security against eavesdroppers, constrained only by the assumption that any information accessible to them must be compatible with the non-signaling principle. The claim holds with respect to the state-of-the-art security definition used in cryptography, known as universally-composable security. The non-signaling assumption only refers to the statistics of measurement outcomes depending on the choices of measurements; hence security is independent of the internal workings of the devices --- they do not even need to follow the laws of quantum theory. This is relevant for practice as a correct and complete modeling of realistic devices is generally impossible. The techniques developed are general and can be applied to other Bell inequality-based protocols. In particular, we provide a scheme for estimating Bell-inequality violations when the samples are not independent and identically distributed.

研究の動機と目的

• 装置の量子力学的性質を仮定せずに、盗聴者に対して安全な鍵配布プロトコルの開発。
• 非信号原理のみを制約条件として用いる普遍的に合成可能な安全性フレームワークにおける安全性の証明。
• ベルに基づくプロトコルにおける非i.i.d.測定サンプルのための安全性分析の実現。
• 他のベル不等式に基づく暗号プロトコルに適用可能な一般化された手法の提供。

提案手法

• ベル不等式を十分に破る測定結果の相関を利用して、共有秘密鍵を生成する。
• 安全性は非信号原理に基づき証明され、攻撃者がアクセス可能な情報が相対性理論的因果律に適合していることを制限する。
• 装置に依存しないアプローチを採用し、装置の内部量子操作に依存しない安全性を確保する。
• 測定サンプルが独立同分布でない場合でも、ベル不等式の破れを推定するための技術を開発する。
• 普遍的に合成可能な安全性を保証するため、量子暗号と情報理論のツールを活用するフレームワークを構築する。

実験結果

リサーチクエスチョン

• RQ1 非信号原理のみを制約条件として用いる場合、普遍的に合成可能な安全性を達成できる鍵配布プロトコルは存在するか？
• RQ2 測定サンプルがi.i.d.でない場合、ベル不等式の破れはどのように信頼性高く推定できるか？
• RQ3 装置の内部動作に量子理論を仮定しない場合、装置に依存しない安全性はどの程度保証できるか？
• RQ4 装置の内部挙動をモデル化しないで、ベルに基づくプロトコルの安全性を確立できるか？

主な発見

• 非信号原理のみに依存する普遍的に合成可能な安全性が達成され、因果律に適合するいかなる盗聴戦略に対しても耐性がある。
• 装置が量子力学に従わない場合でも安全性が維持され、現実の装置の不完全性に対しても耐性がある。
• 非i.i.d.サンプリング条件下でもベル不等式の破れを信頼性高く推定可能であり、実世界の応用にまで拡張可能である。
• 理論的フレームワークは一般性を有し、他のベル不等式に基づく暗号プロトコルへの応用が可能である。