A quantum proxy signature scheme makes the proxy signer can generate a quantum signature on behalf of the original signer. Although many quantum proxy signature schemes have been proposed, none of them can be formally proved to be secure. There is not even security model for the quantum proxy signatures. Some quantum proxy signature schemes have been proved to be insecure against forgery attacks. In this paper, first, the formal definition and the corresponding security model for the quantum proxy signatures are proposed. Second, based on the Hadamard operator and the controlled NOT operation, a new quantum proxy signature scheme is proposed. The security of our quantum proxy signature scheme can be formally proved under security model. The security model of the quantum proxy signatures is helpful for analyzing and improving the security of the quantum proxy signature schemes. On the other hand, compared with the other quantum proxy signatures, the new one proposed in this paper is the first that can be formally proved to be secure under security model.

中文翻译：

---

具有可证明安全性的量子代理签名

量子代理签名方案使代理签名者可以代表原始签名者生成量子签名。尽管已经提出了许多量子代理签名方案，但它们都不能被正式证明是安全的。甚至没有量子代理签名的安全模型。一些量子代理签名方案已被证明对伪造攻击不安全。本文首先提出了量子代理签名的正式定义和相应的安全模型。其次，基于Hadamard算子和受控NOT操作，提出了一种新的量子代理签名方案。我们的量子代理签名方案的安全性可以在安全模型下得到形式化证明。量子代理签名的安全模型有助于分析和提高量子代理签名方案的安全性。另一方面，与其他量子代理签名相比，本文提出的新签名是第一个可以在安全模型下正式证明是安全的。