[论文解读] Comment on "An arbitrated quantum signature protocol based on the chained CNOT operations encryption"

Yiping Luo, Tzonelih Hwang|arXiv (Cornell University)|Dec 2, 2015

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

一句话总结

本文批判了李等人2015年基于级联CNOT门操作的仲裁量子签名（AQS）协议，证明攻击者可在不被检测的情况下伪造有效签名。作者证明该方案违反了不可伪造性和不可否认性——核心安全属性，使其在实际应用中不安全。

ABSTRACT

In 2015, Li et al. (Quantum Inf Process (2015) 14:2171-2181) proposed an arbitrated quantum signature (AQS) scheme based on the chained controlled-NOT operations encryption. However, this paper points out that in their scheme an attacker can forge a signature without being detected. Therefore, Li et al.'s AQS scheme cannot satisfy the unforgeability and non-repudiation property.

研究动机与目标

• 分析李等人基于级联CNOT门操作的仲裁量子签名（AQS）协议的安全属性。
• 识别潜在漏洞，即攻击者可能在不被察觉的情况下伪造签名。
• 证明该方案无法满足不可伪造性和不可否认性等基本安全要求。
• 利用量子攻击模型对协议设计缺陷进行正式批判。
• 提醒研究人员和实践者避免因该方案固有的不安全性而部署。

提出的方法

• 作者分析李等人AQS协议的结构，重点关注其使用级联CNOT门操作进行加密的方式。
• 他们构建了主动攻击场景，其中攻击者在签名生成过程中拦截并操纵量子态。
• 该攻击利用协议在密钥交换和签名验证阶段缺乏适当认证与验证机制的缺陷。
• 通过操纵纠缠态并利用CNOT链中的对称性，攻击者可在不知晓私钥的情况下生成有效签名。
• 分析表明，由于状态验证存在缺陷，验证过程无法检测此类伪造签名。
• 该批判基于量子信息理论原理，特别是CNOT基电路中纠缠特性和幺正操作的性质。

实验结果

研究问题

• RQ1 攻击者是否能在不被验证者察觉的情况下伪造李等人AQS协议中的量子签名？
• RQ2 协议中使用级联CNOT门操作是否足以防范存在性伪造攻击？
• RQ3 协议的验证机制是否足够稳健，能够检测恶意方的篡改或冒充行为？
• RQ4 该方案在多大程度上满足数字签名所必需的不可伪造性和不可否认性属性？
• RQ5 协议设计中是否存在允许攻击者通过量子态操纵绕过认证的结构性缺陷？

主要发现

• 攻击者可在李等人AQS协议中伪造有效签名，且不会被验证者检测到。
• 该方案不满足不可伪造性属性，因为攻击者可在未获私钥的情况下生成与任意消息匹配的签名。
• 不可否认性属性也遭到破坏，因为由于伪造漏洞的存在，签名者无法被唯一绑定到某次签名。
• 核心缺陷在于级联CNOT加密过程中对量子态的不安全处理，导致状态可被操纵。
• 由于对传输量子态完整性检查不足，验证过程无法检测伪造签名。
• 分析确认该协议在根本上不安全，不适合在真实世界的量子签名系统中部署。