[論文レビュー] The Laws of Physics and Cryptographic Security

Terry Rudolph|ArXiv.org|Feb 25, 2002

Chaos-based Image/Signal Encryption参考文献 1被引用数 10

ひとこと要約

この論文は、暗号的セキュリティが物理的原理の観点から分析されなければならないと主張し、量子情報理論において、必要な量子状態や操作がヒルベルト空間に存在しないことから、オーバーサイト・トランスファー（oblivious transfer）が根本的にな既に量子力学と不整合であることを示している。量子暗号における「ブラックボックス」アプローチを批判し、量子鍵配布の実装における物理的脆弱性を強調するとともに、安全な通信には共有された物理的基準枠組みが必要であると強調している。この基準枠組み自体が攻撃の表面である可能性がある。

ABSTRACT

This paper consists of musings that originate mainly from conversations with other physicists, as together we've tried to learn some cryptography, but also from conversations with a couple of classical cryptographers. The main thrust of the paper is an attempt to explore the ramifications for cryptographic security of incorporating physics into our thinking at every level. I begin by discussing two fundamental cryptographic principles, namely that security must not rely on secrecy of the protocol and that our local environment must be secure, from a physical perspective. I go on to explain why by definition a particular cryptographic task, oblivious transfer, is inconsistent with a belief in the validity of quantum mechanics. More precisely, oblivious transfer defines states and operations that do not exist in any (complex) Hilbert space. I go on to argue the fallaciousness of a "black box" approach to quantum cryptography, in which classical cryptographers just trust physicists to provide them with secure quantum cryptographic sub-protocols, which they then attempt to incorporate into larger cryptographic systems. Lest quantum cryptographers begin to feel too smug, I discuss the fact that current implementations of quantum key distribution are only technologically secure, and not "unconditionally" secure as is sometimes claimed. I next examine the concept of a secure lab from a physical perspective, and end by making some observations about the cryptographic significance of the (often overlooked) necessity for parties who wish to communicate having established physical reference frames.

研究の動機と目的

• 基本的な物理法則が暗号的セキュリティ、特に量子情報システムにおいてどのように制約を及えるかを検討すること。
• 量子力学がすべての暗号的プリミティブ、特にオーバーサイト・トランスファーを支持すると仮定することの問題を挑戦すること。
• 古典的暗号理論家が物理的実装の物理的整合性を検証しないまま信頼する量子暗号における「ブラックボックス」モデルを批判すること。
• 実験的抜け穴や不完全な物理的実装のため、現在の量子鍵配布システムは技術的セキュリティにとどまり、絶対的セキュリティではないことの強調。
• 安全な通信には物理的基準枠組みの共有が不可欠であり、その基準枠組み自体が新たな暗号的リスクをもたらすことを強調すること。

提案手法

• 必要な量子状態や操作がいかなる複素ヒルベルト空間にも存在しないことから、オーバーサイト・トランスファーと量子力学との不整合を分析すること。
• クラシカル暗号の原則（ケルコフスの原則および安全な局所環境）を物理的言語に再定式化し、セキュリティが物理的装置や操作の秘密に依存してはならないことを強調すること。
• 量子暗号における「ブラックボックス」アプローチを批判し、量子サブルーチンが物理的検証なしに信頼できると仮定するモデルを検証すること。
• 量子鍵配布の物理的実装を検討し、実験的抜け穴や不完全な物理的実装のため、現在のシステムは絶対的セキュリティではなく技術的セキュリティにとどまると主張すること。
• 物理的基準枠組みが量子通信プロトコルのセキュリティに果たす役割を調査し、その確立が古典的通信を必要とし、新たな脆弱性をもたらすことを示すこと。
• 基準枠組みが確立された後も時間経過とともに安定せず、外部基準または共有物理系による定期的なキャリブレーションが必要であると主張し、両者ともに信頼とセキュリティリスクをもたらすことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト空間に存在しない必要な量子状態や操作を考慮すると、オーバーサイト・トランスファーは量子力学の枠組み内で一貫して実装可能だろうか？
• RQ2 物理的セキュリティの観点から、量子暗号における「ブラックボックス」アプローチがなぜ問題なのか？
• RQ3 実験的抜け穴がある現実の量子鍵配布実装のセキュリティは、どの程度真正のものと言えるのか？
• RQ4 物理的基準枠組みは量子通信プロトコルのセキュリティにどのように影響を与えるか？
• RQ5 基準枠組みを定期的にキャリブレーションする必要があるという事実の物理的および暗号的含意は何か？

主な発見

• 必要な量子状態や操作がいかなる複素ヒルベルト空間にも存在しないことから、オーバーサイト・トランスファーは根本的にな既に量子力学と不整合である。
• 物理的サブルーチンが物理的整合性や実装詳細を検証しないまま安全であると仮定する「ブラックボックス」アプローチは、物理的セキュリティの観点から誤りである。
• 実験的抜け穴や不完全な物理的実装のため、現在の量子鍵配布実装は絶対的セキュリティではなく技術的セキュリティにとどまっている。
• 物理的基準枠組みの確立は、必要不可欠ではあるが物理的プロセスとしては非自明であり、特に外部基準や敵対的制御下のシステムに依存する場合、新たな暗号的リスクをもたらす。
• 基準枠組みを確立するために共有される物理的システム自体が情報理論的リソースであり、適切に管理されない場合には攻撃者に悪用される可能性がある。
• 基準枠組みを時間経過とともに定期的にキャリブレーションする必要があるという事実は、外部基準や共有システムが改ざんまたは操作可能である可能性があるため、継続的な脆弱性をもたらす。