摘要
已有可验证计算方案存在以下不足:一是只有计算委托方才可以对计算结果进行验证;二是即使计算委托方可以授权其他用户进行验证,但也需要将自身验证密钥交给授权用户.针对上述不足,提出一个支持公共验证的外包计算模型,给出其算法形式化定义及安全模型,并利用双线性映射提出了一个包含三方实体的公共可验证外包计算方案,给出了方案算法的具体描述、实体间的通信协议以及效率分析,方案验证无需私钥参与,实现了公共可验证性.在可证安全模型下证明该方案具有不可伪造性,其安全性可归约于lSBDH问题的困难性.
There are two shortcomings for the existing verifiable computation schemes. One is that only the owner who outsourced the computation can verify the result, and the other is when the owner authorizes other users to verify the result, he has to send his secret key to all the authorized users. In order to overcome the problems, an outsourced computation model was proposed which supports the public verification. The description and security model were formalized and a publicly verifiable outsourced computation scheme, which is based on the bilinear map and contains three entities, was also presented. The algorithm implementation and the communication protocol were also described in details. The verification phase in the scheme does not need the owner' s secret key so it can be publicly verifiable. The scheme can be proved to satisfy unforgeability in the security model, and the security can be reduced to the hardness of the l-SBDH problem.
出处
《东北大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2016年第5期619-623,共5页
Journal of Northeastern University(Natural Science)
基金
国家自然科学基金资助项目(61300196)
中央高校基本科研业务费专项资金(N130317003)
国家科学技术重大专项资助项目(2013ZX03002006)
辽宁省科技计划项目(2013217004)
沈阳自然科学基金资助项目(F14-231-1-08)
关键词
双线性映射
公共可验证
外包计算
不可伪造性
可验证计算
bilinear map
public verifiable
outsourced computation
unforgeability
verifiable computation