单服务器模型下双线性运算外包协议设计

来源：计算机技术与发展杂志2016年第11期北京时间：

作者：王少辉;李赫;刘梦青;肖甫

摘要：双线性对运算在密码学领域具有广泛的应用，但是双线性对运算也是此类密码协议中最耗计算资源的运算。目前解决该问题的方法之一是将复杂的运算外包给计算能力强大但不可信的服务器。对最近在双服务器模型下提出的双线性对运算外包协议的安全性进行了分析，分析结果表明如果资源受限设备发起的质询消息以明文的方式发送，则这些协议不能提供足够的安全性保障。并且在单服务器模型下提出了一个高效的可验证双线性对运算外包协议，即外包用户可以验证服务器回复消息的正确性。新协议中受限设备只需执行1个G1和G2中的标量加法和1个群GT中的模幂运算，执行效率要优于目前已提出的双线性对运算外包协议。

关键词：双线性对;云计算;安全外包;可验证性