[論文レビュー] Is the security of quantum cryptography guaranteed by the laws of physics?

Daniel J. Bernstein|arXiv (Cornell University)|Mar 12, 2018

Quantum Mechanics and Applications参考文献 10被引用数 7

ひとこと要約

この論文は、量子鍵配送（QKD）のセキュリティが物理法則によって保証されるという広く受け入れられている主張に挑戦する。既存のQKDセキュリティ証明が、アリスとボブの実際の物理的動作を抽象化することで、電磁気学および重力といった基本的な物理法則を無視しており、『物理に基づく』セキュリティ主張が論理的に根拠のないものであり、経験的に正当化できないものであると主張する。

ABSTRACT

It is often claimed that the security of quantum key distribution (QKD) is guaranteed by the laws of physics. However, this claim is content-free if the underlying theoretical definition of QKD is not actually compatible with the laws of physics. This paper observes that (1) the laws of physics pose serious obstacles to the security of QKD and (2) the same laws are ignored in all QKD "security proofs".

研究の動機と目的

• QKDセキュリティが物理法則によって保証されているという一般的な主張に反論すること。
• 電磁気学や重力といった物理法則を明示的な仮定として含めないQKDセキュリティ証明に内在する論理的不整合を暴露すること。
• 既存の証明において、QKDプロトコルにおけるアリスとボブの物理的動作が物理法則によって制約されていないこと、したがって根本的セキュリティの主張が崩れることを示すこと。
• サイドチャネル攻撃や実装上の欠陥が単なる『修正可能なミス』ではなく、理論的証明で無視された物理的制約に違反することによる潜在的結果であると主張すること。
• 検証不能な『物理に基づく』保証から、物理的リソース制限に基づくコストベースのセキュリティモデルへの転換を提唱すること。

提案手法

• QKDセキュリティ証明の構造を分析し、マクスウェル方程式やニュートンの重力といった物理法則を明示的に含めないことが根本的な欠陥であると特定する。
• QKDプロトコルにおける抽象的仮定（例えば、アリスとボブによる観測されない量子操作）を検討し、それらが物理的根拠を持たないと主張する。
• 現実世界のサイドチャネル攻撃（例：光子数分割攻撃、検出器制御）が、理論的証明で無視された物理的相互作用を活用していることを強調する。
• 『物理がセキュリティを保証する』という主張をやめ、物理的攻撃のコストに基づいてQKDを評価するべきであり、エネルギー、時間、宇宙論的限界といったリソース制限を用いるべきだと提言する。
• CHESカンファレンスシリーズが採用する手法を採用することを勧告する。この手法は、物理的攻撃コストと防御メカニズムをきめ細かくモデル化する。
• 物理的符号化の選択（例：現代のCPUの使用、シールド、ノイズの注入）が、計算的に無限大の攻撃者に対しても攻撃を非現実的にするコストを増加させられることを提唱する。

実験結果

リサーチクエスチョン

• RQ1 QKDのセキュリティ証明は、電磁気学や重力といった既知の物理法則と実際に整合しているのか？
• RQ2 QKDセキュリティ証明が物理的セキュリティを主張しているにもかかわらず、なぜ電磁気学や重力といった物理法則を明示的な仮定として含めないのか？
• RQ3 現実世界のQKDシステムに対するサイドチャネル攻撃が、理論的証明で無視された非物理的仮定をどの程度違反しているのか？
• RQ4 アリスとボブの物理的動作が証明において物理法則によって制約されていないのなら、QKDのセキュリティが物理法則によって保証されると本当に意味を持つのか？
• RQ5 物理的リソースコストに基づく、より現実的で正当性のあるQKDセキュリティモデルを、抽象的な物理的原則ではなく構築することは可能か？

主な発見

• 既存のセキュリティ証明がマクスウェル方程式や一般相対性理論といった物理法則を仮定に含めていないため、QKDのセキュリティは物理法則によって保証されていない。
• 理論的QKD証明は、アリスとボブによる観測されない量子操作を仮定しているが、これらの動作が物理法則によって制約されていないため、物理的に実現不可能な仮定となっている。
• 光子数分割攻撃や検出器制御といったQKDにおけるサイドチャネル攻撃は、証明で無視された物理的相互作用を活用することで成功しており、それらが物理的制約の無視の結果であることを示している。
• QKDが『物理法則によって安全』であるという主張は論理的に整合しない。証明がそのプロトコルがこれらの法則を満たしているかどうかを検証していないからである。
• ホログラフィック原理やその他の物理的制約は、観測されない量子操作ですら盗聴者にアクセス可能である可能性を示唆しており、秘密保持の仮定を揺るがしている。
• より現実的で正当性のあるセキュリティモデルは、エネルギー、時間、宇宙論的定数といったリソース制限を用いて物理的攻撃のコストを定義し、実用的セキュリティ境界を設定することに焦点を当てるべきである。