[论文解读] On the Robustness of (Photonic) Quantum Key Distribution with Classical Alice

Michel Boyer, Tal Mor|arXiv (Cornell University)|Dec 11, 2010

Quantum Information and Cryptography参考文献 2被引用 5

一句话总结

本文通过福克空间形式化，证明了在考虑光子损耗和多光子态的情况下，具有经典爱丽丝的光子量子密钥分发协议仍对窃听具有鲁棒性。利用福克空间形式化，该研究将协议的安全性从理想量子比特扩展至真实的光子实现，展示了对诸如光子数分离攻击和无模糊态辨识等攻击的抗性。

ABSTRACT

Quantum Key Distribution (QKD) with classical Bob has recently been suggested and proven robust. Following this work, QKD with classical Alice was also suggested and proven robust. The above protocols are ideal in the sense that they make use of qubits. However, in the past, well-known QKD protocols that were proven robust and even proven unconditionally secure, when qubits are used, were found to be totally insecure when photons are used. This is due to sensitivity to photon losses (e.g., Bennett's two-state protocol) or sensitivity to losses combined with multi-photon states (e.g., the photon-number-splitting attack on the weak-pulse Bennett-Brassard protocol, BB84). Here we prove that QKD with classical Alice is still robust when photon losses and even multi-photon states are taken into account.

研究动机与目标

• 将具有经典爱丽丝的QKD协议的安全性从理想量子比特扩展至真实的光子实现。
• 解决标准QKD协议在光子损耗和多光子攻击（如光子数分离和无模糊态辨识）下的脆弱性。
• 证明即使爱丽丝利用光子损耗或多光子态来获取信息，该协议仍保持鲁棒性。
• 提出实用增强措施——如光子数分辨探测器和额外的基矢测量测试——以增强真实环境中协议的安全性。

提出的方法

• 使用福克空间形式化来建模光子态，包括真空态（|0,0⟩）、单光子态（|0,1⟩, |1,0⟩）和多光子态（|2,0⟩, |0,2⟩, |1,1⟩）。
• 通过分析损耗信道中态的行为，将原始的具有经典爱丽丝的QKD协议扩展以包含光子损耗。
• 利用福克态叠加分析爱丽丝可能遭受的攻击，包括无模糊态辨识和光子数分离攻击。
• 评估多光子态对协议安全性的影响，特别是当鲍勃在x基矢中发送|0,2⟩或|2,0⟩态时。
• 提出三项增强措施：(1) 光子数分辨探测器，(2) 在不同基矢（z和x）中增加测试回合，以及(3) 允许鲍勃发送额外的态（|0⟩, |1⟩）用于测试。
• 使用福克基矢建模爱丽丝如何通过区分光子数或测试多个基矢，使爱丽丝的攻击被检测或失效。

实验结果

研究问题

• RQ1 当使用光子而非理想量子比特实现时，具有经典爱丽丝的QKD协议是否仍能保持鲁棒性？
• RQ2 光子损耗如何影响协议的安全性？在这些条件下，鲁棒性是否仍可保持？
• RQ3 攻击者能否在不被检测的情况下利用多光子态发动光子数分离攻击？
• RQ4 对协议进行哪些修改可增强其对偏离标准态制备方式的攻击的抗性？
• RQ5 增加额外的测量基矢和光子数分辨能力，能否提升协议检测窃听或态制备偏差的能力？

主要发现

• 通过福克空间分析证明，即使考虑光子损耗，具有经典爱丽丝的QKD协议对窃听仍保持鲁棒性。
• 该协议对光子数分离攻击具有鲁棒性，因为多光子态如|0,2⟩或|2,0⟩不会让爱丽丝在不引入可检测错误的情况下获取信息。
• 爱丽丝使用叠加态如(|0,2⟩ + |2,0⟩)/√2的攻击无法获取信息，若爱丽丝能区分光子数，则此类攻击可被检测。
• 使用光子数分辨探测器可防止爱丽丝利用多光子态，因为她无法在不被检测的情况下发送|0,2⟩等态。
• 在不同基矢中增加测试回合（例如，使用x基矢测量的SIFT）可更好地检测鲍勃非理想态制备行为。
• 通过修改协议，允许鲍勃在|+⟩态之外也发送|0⟩和|1⟩态，可实现额外测试，使爱丽丝无法在不被检测的情况下发送非正交态。