[论文解读] Design of Quantum Key Agreement Protocols with Strong Fairness Property

Kun-Fei Yu, Chun‐Wei Yang+3 more|arXiv (Cornell University)|Oct 8, 2015

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

一句话总结

本文提出了一种具有强公平性的新型量子密钥协议（QKA），确保任一方都无法操控最终密钥。该文引入一个形式化模型以设计此类协议，证明现有QKA协议在强公平性下均不成立；所提出的协议通过纠缠比特上的对称量子态分发和幺正操作，抵御中间人攻击与内部密钥操纵攻击，实现可证明的安全性与公平性。

ABSTRACT

This study distinguishes the weak fairness property from the strong fairness property which is necessary in the quantum key agreement (QKA) and shows that most of the existing QKAs cannot achieve the strong fairness property with a key manipulation problem.To solve this problem, a model which describes the way to design a QKA with the strong fairness property is proposed. Based on the model, an example QKA is presented. Security analyses show that the proposed QKA is effective to resist not only outsider's eavesdropping attack but also insider's key manipulation.

研究动机与目标

• 区分量子密钥协议（QKA）中的弱公平性与强公平性，明确强公平性是密钥生成中公平性的关键。
• 解决现有QKA协议中普遍存在的缺陷，即由于易受内部密钥操纵影响，难以实现强公平性。
• 提出一个形式化模型，用于设计能内在保证强公平性的QKA协议。
• 基于所提模型，提出一个具体的QKA协议，确保同时抵御外部窃听与内部操纵攻击。
• 提供安全分析，证明协议对常见量子攻击与公平性破坏的鲁棒性。

提出的方法

• 作者将强公平性定义为：即使一方偏离协议，也无法偏移最终密钥结果的性质。
• 提出一种基于纠缠贝尔态上对称制备与幺正操作的协议模型，由双方共享。
• 双方通过幺正操作制备并测量其量子比特，确保在密钥生成中对称参与。
• 协议通过一系列贝尔态与幺正操作，使双方在最终密钥生成中贡献相等。
• 使用经典认证信道验证测量结果，防止中间人攻击。
• 在独立攻击与集体攻击下分析安全性，证明对窃听与密钥操纵具有抗性。

实验结果

研究问题

• RQ1 现有量子密钥协议能否实现强公平性，即任一方均无法操控最终密钥？
• RQ2 在量子密钥协议背景下，弱公平性与强公平性有何本质区别？
• RQ3 如何形式化设计QKA协议以保证强公平性？
• RQ4 哪些机制可确保双方对密钥生成的贡献相等，且无法偏移最终密钥？
• RQ5 所提协议能否同时抵御窃听与内部密钥操纵攻击？

主要发现

• 本文确立了大多数现有QKA协议未实现强公平性，因其易受单方密钥操纵影响。
• 所提协议通过在贝尔态上对称应用幺正操作，使双方在密钥生成中对称参与，从而确保强公平性。
• 安全分析表明，协议对独立攻击与集体攻击（包括窃听）均具有抗性。
• 由于最终密钥的确定依赖于双方的测量与幺正操作，协议可抵抗内部操纵。
• 该模型为未来设计具备强公平性保障的QKA协议提供了通用框架。
• 协议设计确保即使某一方偏离协议步骤，也无法改变最终密钥结果。