高效的可证安全短代理签名方案

代理签名在大规模无线工控物联网中应用广泛，利用代理签名可以大大提高签名主服务器的效率。为适应带宽受限和计算能力弱的应用环境，提出了一个基于双线性映射的短代理签名方案。首先，在随机预言机模型下基于计算Diffie-Hellman（CDH）问题和k-碰撞攻击算法（k-CAA）问题证明了该方案的安全性。然后，与其他现有代理签名和短代理签名方案进行了性能上的优势分析，并给出了该方案实现的关键代码。实验结果表明，所提方案在代理签名生成时进行了1次标量乘运算和1次哈希运算，签名验证时进行了2次双线性对运算、1次标量乘运算和2次哈希运算，与其他同类代理签名方案相比计算性能上具有优势，适用于计算能力较弱和传输能力受限的应用场景。

Efficient and provably secure short proxy signature scheme

Proxy signature is widely used in large-scale wireless industrial control Internet of things, the efficiency of signature master server can be greatly improved by using proxy signature. A new short proxy signature scheme based on bilinear mapping was proposed to adapt to the application environment with limited bandwidth and weak computing power. Firstly, the security of the proposed scheme was proved based on Computational Diffie-Hellman (CDH) problem and Collusion Attack Algorithm with k traitors (k-CAA) problem under the random oracle model. Then, the performance advantages of the proposed scheme were analyzed with other existing proxy signature and short proxy signature schemes, and the key codes of the proposed scheme were given. The experimental results show that, the proposed scheme performs one scalar multiplication operation and one hash operation in proxy signature generation; two bilinear pairing operation, one scalar multiplication operation and two hash operations in signature verification. Compared with other similar proxy signature schemes, the proposed scheme has advantages in computational performance and is suitable for application scenarios with weak computational power and limited transmission capacity.