摘要: 已有可验证计算方案存在以下不足:一是只有计算委托方才可以对计算结果进行验证;二是即使计算委托方可以授权其他用户进行验证,但也需要将自身验证密钥交给授权用户.针对上述不足,提出一个支持公共验证的外包计算模型,给出其算法形式化定义及安全模型,并利用双线性映射提出了一个包含三方实体的公共可验证外包计算方案,给出了方案算法的具体描述、实体间的通信协议以及效率分析,方案验证无需私钥参与,实现了公共可验证性.在可证安全模型下证明该方案具有不可伪造性,其安全性可归约于l-SBDH问题的困难性.
中图分类号:
李福祥, 霍建秋, 林慕清, 周福才. 基于双线性映射的公共可验证外包计算方案[J]. 东北大学学报:自然科学版, 2016, 37(5): 619-623.
LI Fu-xiang, HUO Jian-qiu, LIN Mu-qing, ZHOU Fu-cai. Bilinear Map-based Public Verifiable Outsourced Computation Scheme[J]. Journal of Northeastern University Natural Science, 2016, 37(5): 619-623.