[論文レビュー] Cryptanalysis of the efficient two-party quantum private comparison protocol with decoy photons and two-photon entanglement

Zhiwei Sun, Dongyang Long|arXiv (Cornell University)|Apr 20, 2012

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

ひとこと要約

この論文は、YW量子プライベート比較プロトコルを暗号解析し、第三者（TP）が単位操作による変化を分析することで、検出可能な誤りを引き起こさずに、2人の参加者間の比較結果を特定できることを示している。攻撃は、初期のBell状態の分布を知っているTPが、サンプリング状態の不変性を利用し、状態のカウント変化を観測することで成立する。これは、プロトコル設計における深刻なセキュリティ上の欠陥を露呈する。

ABSTRACT

We analyze the security of the efficient two-party quantum private comparison protocol with decoy photons and two-photon entanglement. It is shown that the compromised third party (TP) can obtain the final comparison result without introducing any detectable errors in the standard semi-honest model. The attack strategy is discussed in detail and an improvement of this protocol is demonstrated. The idea of our attack might be instructive for the cryptanalysis of quantum cryptographic schemes.

研究の動機と目的

• デコイ光子と二光子もつれ状態を用いたYW量子プライベート比較プロトコルにおけるセキュリティ脆弱性を特定・分析すること。
• 準正直的だが改ざんされた第三者（TP）が、検出可能な誤りを引き起こさずに比較結果を学習できることを実証すること。
• TPが初期のBell状態分布を把握していることにより、状態カウントの比較によって入力の等価性を推測できることを明らかにすること。
• 符号化中にサンプリングキュービットを変更することで、情報漏洩を防ぐようにプロトコルを改変する対策を提案すること。
• 量子暗号プロトコル設計において、追加の情報漏洩を最小限に抑える重要性を強調すること。

提案手法

• TPは、既知の初期Bell状態分布を持つEPRペアを準備・配布し、各Bell状態タイプのカウントを記録する。
• TPは、ボブとチャーリーへの伝送中に傍受を検出するためにデコイ光子を用いる。
• ボブとチャーリーが自身の秘密入力に基づいてユニタリ操作を適用した後、TPは戻されたもつれ状態に対してBell基底測定を行う。
• TPは初期のBell状態カウントと測定後のカウントを比較し、入力が不等であることを示す不一致を検出する。
• 攻撃は成功する。なぜなら、TPは正確な初期分布を把握しており、ユニタリ符号化後の状態カウントの変化も観測できるからである。たとえ個々の操作を学習しなくてもよい。
• 対策として提案：ボブとチャーリーは、QKDから得た秘密のランダム値を用いて、サンプリングEPRペアに対してユニタリ操作を適用することで、サンプリング状態の分布を変更し、TPによる推測を不可能にする。

実験結果

リサーチクエスチョン

• RQ1 改ざんされた第三者（TP）は、YWプロトコルにおいて検出可能な誤りを引き起こさずに、2人の参加者間の比較結果を推測できるか？
• RQ2 なぜ元のYWプロトコルは、プロトコルに従うが状態カウントを監視する準正直的TPに対して保護できないのか？
• RQ3 どのようなプロトコルの特性が、TPがBell状態カウント分析により入力の不等を特定できるようにするのか？
• RQ4 どのようにしてプロトコルを改変することで、TPが状態カウントの比較により比較結果を学習するのを防げるか？
• RQ5 今後の量子プライベート比較プロトコル設計において、意図しない情報漏洩を最小限に抑えるためにどのような設計原則を遵守すべきか？

主な発見

• 改ざんされたTPは、各Bell状態タイプの初期および最終カウントを比較することで、ボブとチャーリーの入力が等しいか否かを特定できる。
• 攻撃は量子チャネルに検出可能な誤りを引き起こさないため、標準的な傍受検出チェックでは検出できない。
• 攻撃は、TPが正確な初期Bell状態分布を把握しており、ユニタリ符号化後の状態カウントの変化を観測できるため成立する。
• 入力値が等しければ、Bell状態カウントは変化しない。入力が不等であれば、少なくとも1つのBell状態カウントが変化し、不等が露呈される。
• 元のプロトコルでは、符号化中に変更されない固定のサンプリングEPRペアが使用されており、TPにとって恒久的なサイドチャネルが生じる。
• 安全な改善策として提案：ボブとチャーリーは、秘密のランダム値を用いて、サンプリングEPRペアに対してユニタリ操作を適用することで、サンプリング状態の分布を変更し、TPによる推測を不可能にする。