[论文解读] Improving the security of arbitrated quantum signature protocols
本文揭示了使用量子一次性密码加密的仲裁量子签名（AQS）协议中存在一个关键安全漏洞，即签名方Alice可获取Bob的私钥并否认其签名。作者提出了一种改进的AQS方案，采用双重签名副本并由Bob预先验证，确保抵抗Alice的否认攻击与存在性伪造攻击，从而在不使用纠缠态的前提下实现无条件安全。
Arbitrated quantum signatures (AQS), for signing quantum message, have been proposed. It was claimed that the AQS schemes could guarantee unconditional security. However, in this paper, we show that all the presented AQS protocols are insecure if quantum one-time pad encryption is used where the signer Alice can always successfully acquire Bob's secret key and disavow any of her signatures. The detailed attack strategies and security analysis are described. Furthermore, the original version of the protocols is revised and accordingly the security of the AQS protocols are improved. And meanwhile we present a method to against Alice's disavowal proposed by Gao et al. (arXiv:1106.4398v1).
研究动机与目标
- 识别并演示现有使用量子一次性密码加密的仲裁量子签名（AQS）协议中存在一个根本性安全漏洞。
- 表明签名方Alice可提取Bob的私钥并否认其签署的任何签名，从而破坏协议的完整性。
- 设计一种改进的AQS协议，以防止Alice的否认行为与存在性伪造攻击。
- 在保持原有AQS方案优势（如简洁性与无条件安全性）的同时，增强其鲁棒性。
- 提供一种实用的、基于非纠缠态的协议，相较于先前改进的方案更易于实现。
提出的方法
- 提出一种新型AQS协议，利用随机密钥r通过非对易幺正算符M_r生成变换消息|P′⟩。
- 将|P′⟩加密为三种不同的密文：使用Alice与Bob共享密钥K_AB生成的|R_AB⟩，使用Alice密钥K_A为仲裁者生成的|S_A⟩₁，以及使用相同密钥为Bob内部验证生成的|S_A⟩₂。
- 要求Bob在将任何数据转发给仲裁者前，验证|R_AB⟩与|S_A⟩的两份副本之间的一致性。
- 通过公开宣布验证参数V_T与V_B，实现透明性并检测验证过程中的篡改行为。
- 允许Bob存储|S_A⟩₂，并与仲裁者返回的|Y_B⟩进行比对，以检测Eve或Alice是否进行修改。
- 确保仅当所有一致性检查均通过时，才接受消息与签名，且仅在此时Alice才公布密钥r以恢复|P⟩。
实验结果
研究问题
- RQ1现有AQS协议中的量子一次性密码是否可被签名方利用以提取接收方的私钥？
- RQ2Alice在当前AQS协议中如何成功否认其签名？该攻击依赖于何种设计缺陷？
- RQ3为防止Alice的否认与存在性伪造攻击，AQS协议需进行哪些修改？
- RQ4能否在不使用纠缠态的前提下构建一个安全的AQS方案，同时保持简洁性与无条件安全性？
- RQ5是否可能设计一种实用的AQS协议，以抵抗已知攻击，并且比先前的认证版本更易于实现？
主要发现
- 使用量子一次性密码的原始AQS协议不安全，因为Alice可提取Bob的私钥并否认其签署的任何签名。
- Alice在通过协议设计缺陷获取Bob的私钥后，可对任意消息伪造签名。
- 所提出的方案通过要求Bob在向仲裁者发送前验证|P′⟩与|S_A⟩的完整性，防止了Alice的否认行为。
- 该方案通过确保仅处理一致且经过认证的签名，抵抗了Gao等人提出的存在性伪造攻击。
- 新协议保留了先前AQS方案的所有优势，如无需纠缠态与无条件安全性，同时增强了鲁棒性。
- 该方法比先前的认证AQS方案更具实用性与可实现性，因其避免了复杂的量子消息认证机制。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。