[论文解读] Attacks on semi-device independent quantum protocols

Elsa Passaro, Rodrigo Gallego+1 more|arXiv (Cornell University)|Jan 1, 2014

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

一句话总结

本文研究了在半设备无关量子协议中的漏洞——此类协议仅假设量子装置的维度——通过分析检测效率不足如何被利用来伪造协议结果。本文建立了检测概率与随机访问码最坏情况成功率之间的条件，以防止此类攻击，从而增强实际量子信息任务中的安全性。

ABSTRACT

ICREA-Institucio Catalana de Recerca i Estudis Avanc¸ats, Lluis Companys 23, E-08010 Barcelona, Spain(Dated: January 8, 2014)Recently several semi-device independent quantum protocols were proposed - e.g. for secure keydistribution, random access coding, and randomness generation - in a scenario where no assumptionon the internal working of the devices used in the protocol is made, except their dimension. Theseprotocols, while being often more practical than fully-device independent ones, are also clearly moresecure than their device dependent counterparts. Nevertheless, we discuss conditions under whichdetection inefficiencies can be exploited to fake the result of the protocol - and how to prevent it -in terms of the detection probability and of the worst case success probability of a random accesscode.I. INTRODUCTION

研究动机与目标

• 识别由于检测效率不足导致的半设备无关量子协议中的安全漏洞。
• 分析攻击者如何利用低检测效率来伪造协议结果。
• 建立检测概率的理论边界，以防止此类伪造攻击。
• 将协议的安全性与随机访问码的最坏情况成功率联系起来。
• 为维度受限的量子协议提供确保安全性的实用标准。

提出的方法

• 将检测效率不足建模为经典攻击者操纵测量结果的能力。
• 使用随机访问码的最坏情况成功率作为安全度量。
• 推导出攻击变得可行的检测概率阈值。
• 在最小假设下分析协议行为——仅信任设备维度。
• 应用博弈论推理以界定攻击者最大成功率的上界。
• 结合量子维度约束与经典模拟模型，评估攻击的可行性。

实验结果

研究问题

• RQ1 在何种条件下，攻击者可以利用检测效率不足来伪造半设备无关量子协议的结果？
• RQ2 检测概率如何影响依赖于维度约束的协议安全性？
• RQ3 随机访问码的最坏情况成功率与伪造攻击可行性之间存在何种关系？
• RQ4 检测效率不足是否可用于在无真实纠缠的情况下模拟量子关联？
• RQ5 何种最低检测阈值可确保协议对经典攻击保持安全？

主要发现

• 检测效率不足可被攻击者利用，以在无真实纠缠的情况下模拟量子协议结果。
• 存在一个检测概率临界阈值，低于该阈值时攻击即变得可行，具体取决于协议设计。
• 随机访问码的最坏情况成功率直接决定了协议对伪造攻击的脆弱性。
• 检测效率更高的协议对基于检测漏洞的经典攻击更具鲁棒性。
• 若检测概率超过由随机访问码最坏情况成功率导出的边界，则可保证协议安全。
• 研究结果为评估和防止实际半设备无关量子协议中的攻击提供了定量框架。