[论文解读] Analysis and improvement of Tian-Zhang-Li voting protocol based on controlled quantum teleportation

Kishore Thapliyal, Rishi Sharma+1 more|arXiv (Cornell University)|Feb 2, 2016

Quantum Information and Cryptography参考文献 36被引用 4

一句话总结

本文基于受控量子隐形传态，批判性地分析了田-张-李（TZL）量子投票协议，指出其因监管人控制不足和缺乏内置安全机制而存在不安全与低效的问题。为解决这些缺陷，作者提出了两种基于受控确定性安全量子通信（CDSQC）的改进量子投票协议：一种基于标准CDSQC，另一种基于粒子排列（PoP）的量子密码开关框架。基于PoP的协议效率达到16.67%，优于TZL协议，展现出更高的安全性和效率。

ABSTRACT

Recently Tian, Zhang and Li (TZL) have proposed a protocol for voting based on controlled quantum teleportation (Int. J. Theor. Phys. DOI 10.1007/s10773-015-2868-8). We have critically analyzed the protocol and have shown that it's neither efficient nor secure. Further, it is shown that in the TZL protocol, the scrutineer Charlie does not have the required control over the voting process. Apart from showing the limitations of TZL protocol, two improved protocols for quantum voting along the line of TZL protocol are proposed here. One of the proposed protocols is designed using a standard scheme of controlled deterministic secure quantum communication, and the other one is designed using the idea of quantum cryptographic switch which uses a technique known as permutation of particles (PoP). A few possible alternative approaches to accomplish the same task have also been discussed. Further, the efficiencies of the proposed protocols are reported, and it is shown that the proposed protocols are free from the limitations of the TZL protocol, and they are more efficient than the TZL protocol.

研究动机与目标

• 识别基于受控量子隐形传态的TZL量子投票协议中存在的关键安全与效率缺陷。
• 提出两种改进的量子投票协议，以解决TZL方案的局限性，特别是监管人控制不足与安全措施不足的问题。
• 证明受控确定性安全量子通信（CDSQC）相较于受控隐形传态，是量子投票更合适的理论基础。
• 评估并比较所提协议的效率，证明其优于TZL协议。
• 探索使用各种CDSQC方案（包括纠缠交换和不同纠缠态）实现量子投票的替代方法。

提出的方法

• 作者分析TZL协议，发现其缺乏内在安全机制，且未能赋予监管人（查理）对投票传输的充分控制。
• 提出第一种改进协议，采用标准受控确定性安全量子通信（CDSQC）方案，其中控制器（查理）可启用从选民到计票人（鲍勃）的安全投票传输。
• 开发第二种更高效的协议，基于量子密码开关框架并引入粒子排列（PoP），通过减少量子资源使用并利用粒子重排增强安全性。
• 在两种协议中，均使用诱饵量子比特检测窃听；查理在所有投票发送完毕后公布排列算符，使鲍勃可通过贝尔态测量解码投票。
• 通过标准公式 η = c / (q + b) 计算PoP协议的效率，其中 c=1（每票1个经典比特），q=5（每票使用5个量子比特），b=1（排列用1个经典比特），得出 η = 16.67%。
• 讨论了其他实现方式，包括使用W态、GHZ态、簇态或纠缠交换实现CDSQC用于投票，表明协议设计具有高度灵活性。

实验结果

研究问题

• RQ1 为何TZL协议尽管使用受控量子隐形传态进行量子投票，仍存在不安全与低效的问题？
• RQ2 如何正确形式化监管人（查理）的角色，以确保其控制权并防止投票被篡改？
• RQ3 受控确定性安全量子通信（CDSQC）是否可作为量子投票更合适的框架，优于受控隐形传态？
• RQ4 所提PoP基量子投票协议的效率是多少？与TZL协议相比有何差异？
• RQ5 可使用哪些其他纠缠态或CDSQC方案来实现安全高效的量子投票？

主要发现

• TZL协议既不安全也不高效，且监管人查理对投票过程缺乏足够控制，严重损害了协议的完整性。
• 所提出的基于CDSQC的协议克服了TZL协议的局限性，提供了更强的安全性与更优的控制能力。
• 基于PoP的协议效率达到16.67%，计算公式为 η = 1 / (5 + 1)，高于TZL协议的效率。
• 采用粒子排列（PoP）可降低量子资源需求，并通过使量子比特序列对窃听者不可预测来增强安全性。
• 协议保持可验证性与隐私性，继承自所用底层CDSQC方案的特性。
• 使用W态、GHZ态、簇态或纠缠交换等替代方案实现CDSQC是可行的，且可适配于量子投票，证明该框架具有高度灵活性。