[论文解读] Security of Quantum Key Distribution from Attacker's View

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

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

一句话总结

本文挑戰了量子密钥分发（QKD）中普遍接受的保真度距离被解釋為失敗概率的觀點，主張安全應以竊聽者估計共享密鑰的成功概率來衡量。本文提出一種計算平均密鑰估計概率的方法，證實了Yuen長期以來的批判，並揭示了基於保真度距離的安全證明中的根本性缺陷。

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. Yuen與O. Hirota長期以來的批判，即保真度距離並不代表QKD協議實際的失敗概率。
• 提供一種具體方法，用以計算竊聽者正確估計共享密鑰的平均機率，從而驗證Yuen的論點。
• 揭示將保真度距離解釋為「可識別性」或「不可區分性」在量子密鑰分發中的關鍵缺陷。
• 證明基於保真度距離的現有安全證明與QKD中竊聽者主動與系統互動的實際威脅模型不一致。

提出的方法

• 利用密鑰結果的聯合機率分佈，推導竊聽者正確估計共享密鑰之平均機率的新表達式。
• 使用算符Γk，將保真度距離與實際與理想密鑰分佈之間的統計距離關聯起來。
• 應用耦合引理（Kato, 2015），證明將保真度距離解釋為失敗機率是無效的，因其假設了實際與理想狀態之間不存在的反事實相關性。
• 重新檢視Helstrom的量子態區分框架，分析保真度距離的「可識別性」解釋，顯示其與實際QKD威脅模型不一致。
• 證明基於保真度（Koashi, 2009）推導出的保真度距離上界在現實約束下會失效，因為其假設竊聽者的狀態σE可自由選擇。
• 將結果與Yuen在2010年提出的觀點一致化，即保真度距離無法代表失敗機率，並顯示其與新的密鑰估計機率模型一致。

实验结果

研究问题

• RQ1 QKD安全證明中的保真度距離是否真正等價於密鑰生成的失敗機率？
• RQ2 竊聽者估計共享密鑰的成功機率能否以與實際QKD協議模型一致的方式計算？
• RQ3 為何將保真度距離解釋為失敗機率會導致安全證明框架中的邏輯矛盾？
• RQ4 將保真度距離的「可識別性」解釋應用於現實QKD場景時，為何會失敗？
• RQ5 在基於保真度距離的安全證明中，限制竊聽者狀態σE會產生何種影響？

主要发现

• 將保真度距離解釋為QKD中失敗機率的標準觀點是無效的，因其依賴於實際與理想密鑰狀態之間不可能存在的反事實相關性。
• 本文推導出一種一致的方法，用以計算竊聽者正確估計共享密鑰的平均機率，並顯示該機率與Yuen在2010年的預測一致。
• 耦合引理（Kato, 2015）確認，在保真度距離證明中被解釋為「失敗機率」的項，並非實際失敗的下界，從而動搖了安全主張的基礎。
• 「可識別性」解釋失敗，因其假設了真實與理想系統的50-50混合，這與實際QKD架構中僅使用真實系統的事實相矛盾。
• 基於保真度與保真度距離上界的安全證明（Koashi, 2009）在現實約束下會失效，因其假設竊聽者狀態σE可自由選擇，而這在實務中不可能實現。
• 結果確認，保真度距離並不代表實際的密鑰泄露風險，真正的安全指標應為竊聽者密鑰估計機率，而非保真度距離。