[论文解读] Quantum message authentication codes

Howard Barnum|ArXiv.org|Mar 21, 2001

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

一句话总结

本文提出了一种基于量子纠错码的量子消息认证方案，旨在防止量子消息被篡改。由于引理1存在缺陷，原始证明对一般攻击不成立；修正后的结果仅能保证对泡利或广义泡利攻击的安全性，限制了所声称的通用安全性的适用范围。

ABSTRACT

This paper has been withdrawn because of an error in the proof of Lemma 1. Without Lemma 1, the result of the main theorem (with the same proof, but omitting the use of Lemma 1 to extend things to general attacks) only holds for attacks in which the attacker applies a tensor product of Pauli matrices (for qubits) or generalized Pauli matrices. The resulting theorem is still relevant for quantum message authentication, but the very strong result claimed in earlier versions of this paper does not hold. These matters will be addressed further in joint work with Claude Crepeau, Daniel Gottesman, Adam Smith, and Alain Tapp. Thanks to them and to Debbie Leung for spotting the error.

研究动机与目标

• 开发一种量子消息认证码，以确保量子消息的完整性和真实性。
• 为该方案在一般对抗性攻击下的安全性提供证明。
• 建立一种利用量子纠错码验证量子消息的框架。
• 修正原始证明中的错误，该错误使通用安全性的声明失效。

提出的方法

• 利用量子纠错码构建消息认证方案。
• 采用对称密钥协议，发送方和接收方共享一个秘密密钥。
• 基于量子稳定子码的编码和解码操作来检测篡改。
• 通过纠缠态和测量结果的验证过程来认证消息。
• 依赖泡利矩阵或广义泡利矩阵的结构来建模特定的攻击模式。
• 通过去除对引理1的依赖来修正原始证明，将安全性限制在泡利矩阵张量积构成的攻击类别内。

实验结果

研究问题

• RQ1 能否构造一种对所有类型量子攻击都安全的量子消息认证码？
• RQ2 引理1中的错误对主安全定理有效性的影​​响是什么？
• RQ3 当从证明中移除引理1时，该方案在多大程度上仍保持安全？
• RQ4 基于泡利的攻击如何影响该认证协议的安全性？
• RQ5 需要进行哪些修改才能恢复对一般攻击的完整安全性？

主要发现

• 由于引理1中的错误，原始声称对所有攻击都安全的论断被推翻。
• 该方案对由量子比特的泡利矩阵张量积或高维空间中广义泡利矩阵构成的攻击仍保持安全。
• 主定理的修正版本仅在这一类受限攻击下成立。
• 该错误由合作者和审稿人（包括Debbie Leung）识别出。
• 该问题将在与Claude Crepeau、Daniel Gottesman、Adam Smith和Alain Tapp的未来联合工作中得到解决。
• 核心构造仍然有效，但其适用范围比最初声称的更窄。