[論文レビュー] Security of Quantum Key Distribution from Attacker's View

Takehisa Iwakoshi|arXiv (Cornell University)|Jan 1, 2015

Quantum Information and Cryptography参考文献 20被引用数 1

ひとこと要約

この論文は、量子鍵配送（QKD）におけるトレース距離を「失敗確率」として広く受け入れられている解釈に挑戦し、代わりにセキュリティは盗聴者による共有鍵の推定成功確率によって評価すべきであると主張する。本論文は平均鍵推定成功確率を計算する手法を提示し、ユエン氏の長年の批判を裏付け、トレース距離に基づくセキュリティ証明における根本的な欠陥を暴露する。

ABSTRACT

In 2005, trace distance between an ideal quantum state to be distributed and an actual quantum state distributed was introduced as a valid security measure of Quantum Key Distribution (QKD) by R. Renner et al., then it has been perceived that the trace can be interpreted as a maximum failure probability of QKD. While such a perspective has been widely accepted, H. P. Yuen and O. Hirota have been warning that such an interpretation is not correct since 2009. The author of this study has been giving questions on the interpretation of the trace distance based on their criticisms since QIT30 in May 2014, and has been proposing Yuen's idea to evaluate the security of QKD by the probability for the attacker to guess the correct key. However, the author could not give the guessing probability concretely. In this study, the author explains how to derive the average guessing probability for the attacker, where its result equals to Yuen's derivation firstly seen in 2010. From this result, one will see the problems with the maximum failure probability interpretation of the trace distance clearly. This study also explains the indistinguishability advantage interpretation is also invalid.

研究の動機と目的

• Renner らの研究以降広く受け入れられてきた、QKDにおけるトレース距離を『失敗確率』として解釈する標準的解釈に挑戦すること。
• H. P. ユエンおよびO. ヒロタが長年にわたり提起してきた批判、すなわちトレース距離はQKDプロトコルの実際の失敗確率を表していないという批判に応えること。
• 盗聴者が共有鍵を正しく推定できる確率の平均値を計算する明確な手法を提供することにより、ユエンの主張を裏付けること。
• トレース距離を『識別可能性』または『区別不能性』として解釈することの根本的欠陥を暴露すること。
• トレース距離に基づく既存のセキュリティ証明が、盗聴者がシステムと能動的に相互作用するという実際のQKDの脅威モデルと整合しないことを示すこと。

提案手法

• 鍵の結果の連合確率分布を用いて、盗聴者が共有鍵を正しく推定できる平均確率の新しい表現を導出する。
• 演算子Γkを用いて、トレース距離と実際の鍵分布および理想鍵分布の間の統計的距離を関連付ける。
• カップリング補題（Kato, 2015）を適用し、トレース距離を『失敗確率』として解釈することが誤りであることを示す。これは、実際の状態と理想状態の間の反事後的相関を仮定しているためである。
• ヘルストロムの量子状態識別フレームワークを再考し、トレース距離の『識別可能性』解釈が実際のQKD脅威モデルと整合しないことを分析する。
• フィデリティを用いたトレース距離の上界（Koashi, 2009）を導出するプロセスが、盗聴者の状態σEが自由に選べるという仮定に基づいているが、これは現実の制約下では成立しないことを示す。
• ユエンの2010年の主張、すなわちトレース距離は失敗確率を表せないという主張と、新しい鍵推定成功確率モデルが整合することを示す。

実験結果

リサーチクエスチョン

• RQ1 QKDのセキュリティ証明におけるトレース距離は、本当に鍵生成の失敗確率と同等であるのか？
• RQ2 盗聴者が共有鍵を推定する成功確率を、実際のQKDプロトコルモデルと整合する形で計算できるか？
• RQ3 なぜトレース距離を『失敗確率』として解釈することが、セキュリティ証明フレームワークに論理的不整合を引き起こすのか？
• RQ4 トレース距離の『識別可能性』解釈が、現実のQKDシナリオに適用された際になぜ失敗するのか？
• RQ5 セキュリティ証明において盗聴者の状態σEを制限することの意味は何か？

主な発見

• トレース距離をQKDセキュリティ証明において『失敗確率』として解釈することは誤りである。これは、実際の状態と理想状態の間の反事後的相関を仮定しているが、現実には存在しえないからである。
• 本論文は、盗聴者が共有鍵を正しく推定できる平均確率を一貫して計算する手法を導出し、これがユエンの2010年の予測と一致することを示した。
• カップリング補題（Kato, 2015）により、トレース距離証明で『失敗確率』と解釈されている項が、実際の失敗確率の下限ではないことが確認され、セキュリティ主張が揺らぐこととなった。
• 『識別可能性』解釈は失敗する。これは、実際と理想のシステムを50-50で混合すると仮定しているが、実際のQKD環境では実システムのみが使用されているため、この仮定は矛盾している。
• フィデリティとトレース距離の上界に基づく証明（Koashi, 2009）は、現実の制約下では失敗する。なぜなら、この証明は盗聴者の状態σEが自由に選べると仮定しているが、実際にはそうではないからである。
• 結果として、トレース距離は鍵の漏洩リスクを正しく表していないことが確認され、真のセキュリティ指標はトレース距離ではなく、盗聴者の鍵推定成功確率であることが示された。