[论文解读] GHZ correlation provides secure Anonymous Veto Protocol

Ramij Rahaman, Guruprasad Kar|arXiv (Cornell University)|Jul 2, 2015

Wireless Communication Security Techniques被引用 7

一句话总结

该论文提出了一种基于多用户Greenberger-Horne-Zeilinger（GHZ）纠缠的量子协议，用于解决匿名否决（AV）和用餐密码学家（DC）问题。通过利用GHZ态的非定域关联及其对局域实在性原理的违背，该协议实现了无条件安全的匿名消息传输，无需预共享密钥，能够检测DC变体中的多重支付行为，并确保否决者的身份保持隐藏，仅揭示否决票数。

ABSTRACT

Anonymous Veto (AV) and Dining cryptographers (DC) are two basic primitives for the cryptographic problems where the main aim is to hide the identity of the senders of the messages. These can be achieved by classical methods where the security is based either on computational hardness or on shared private keys. In this regard, we present a secure quantum protocol for both DC and AV by exploiting the GHZ correlations. We first solve a generalized version of the DC problem with the help of multiparty GHZ state. This allow us to provide a secure quantum protocol for the AV. Securities for both the protocols rely on some novel and fundamental features of GHZ correlations related to quantum nonlocality.

研究动机与目标

• 为解决经典匿名通信协议的局限性，这些协议依赖计算难题或预共享密钥，易受共谋和多重支付攻击影响。
• 开发一种基于量子非定域性的无条件安全量子解决方案，用于匿名否决（AV）和用餐密码学家（DC）问题。
• 通过多量子比特GHZ态将DC问题推广至n方场景，实现在三方情况下检测多重支付，并推广至更大群体。
• 通过基于局域实在性不等式违背的GHZ态真实性严格检验，确保安全性。
• 证明否决票数被揭示，但不会暴露任何单个投票者的身份，从而实现完全匿名。

提出的方法

• 协议使用n量子比特GHZ态 |Ψₙ⟩ = (|00…0⟩ - |11…1⟩)/√2（n为奇数），对于偶数n则采用修改版本，其中一参与者持有两个量子比特。
• 各参与者根据其私有决定（如支付或否决）对自身的量子比特执行局部测量或幺正操作，使用泡利算符σₓ和σᵧ。
• 通过随机选取若干轮次，测量对应于GHZ佯谬的可观测量Oᵢ，验证结果乘积是否与预期本征值（±1）一致，从而执行真实性检验。
• 协议依赖于仅真实GHZ态才能违背局域实在性不等式 |⟨∑ᵢ₌₁ⁿ Oᵢ − O₀⟩| ≤ n−1，且|Ψₙ⟩的最大违背值为n+1。
• 对于AV协议，每位投票者若选择否决，则应用幺正操作；最终结果仅揭示否决总数，不暴露身份。
• 由于GHZ关联的非定域性以及局部隐变量模型无法复现观测统计结果，该协议对共谋和多重支付具有抗性。

实验结果

研究问题

• RQ1 能否利用GHZ纠缠构建一种无条件安全的用餐密码学家问题协议，以检测多重支付？
• RQ2 如何利用量子非定域性解决匿名否决问题，而无需依赖计算假设或预共享密钥？
• RQ3 GHZ态的真实性在确保多用户量子协议中抵御窃听和欺骗攻击方面起什么作用？
• RQ4 能否使用GHZ态将n方DC问题推广，使得协议对所有参与者保持安全与匿名？
• RQ5 GHZ态中局域实在性违背如何实现安全且无迹的匿名通信机制？

主要发现

• 该协议通过利用GHZ佯谬，在三方DC问题中检测到多重支付，这是经典协议所不具备的特性。
• 对于匿名否决问题，该协议仅揭示否决票数，不暴露任何投票者的身份，确保完全匿名。
• 协议的安全性基于局域实在性不等式的最大量子违背，而这一违背仅能由真实的n量子比特GHZ态实现。
• 通过随机抽样测量设置并验证结果乘积与预期本征值一致，完成对GHZ态真实性的检验，确保无经典模拟可复现此类关联。
• 该协议实现无条件安全，无需成对共享密钥或认证信道，仅依赖于量子非定域性。
• 该协议对共谋具有鲁棒性，因为任何玩家群体都无法通过关联的非定域性推断出否决者或支付者的身份。