首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于双线性映射的公共可验证外包计算方案
引用本文:李福祥,霍建秋,林慕清,周福才.基于双线性映射的公共可验证外包计算方案[J].东北大学学报(自然科学版),2016,37(5):619-623.
作者姓名:李福祥  霍建秋  林慕清  周福才
作者单位:(1. 东北大学 计算机科学与工程学院, 辽宁 沈阳110819; 2. 东北大学 软件学院, 辽宁 沈阳110819)
基金项目:国家自然科学基金资助项目(61300196);中央高校基本科研业务费专项资金(N130317003); 国家科学技术重大专项资助项目(2013ZX03002006); 辽宁省科技计划项目(2013217004); 沈阳自然科学基金资助项目(F14-231-1-08).
摘    要:已有可验证计算方案存在以下不足:一是只有计算委托方才可以对计算结果进行验证;二是即使计算委托方可以授权其他用户进行验证,但也需要将自身验证密钥交给授权用户.针对上述不足,提出一个支持公共验证的外包计算模型,给出其算法形式化定义及安全模型,并利用双线性映射提出了一个包含三方实体的公共可验证外包计算方案,给出了方案算法的具体描述、实体间的通信协议以及效率分析,方案验证无需私钥参与,实现了公共可验证性.在可证安全模型下证明该方案具有不可伪造性,其安全性可归约于lSBDH问题的困难性.

关 键 词:双线性映射  公共可验证  外包计算  不可伪造性  可验证计算  

Bilinear Map-based Public Verifiable Outsourced Computation Scheme
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.
Authors:LI Fu-xiang  HUO Jian-qiu  LIN Mu-qing  ZHOU Fu-cai
Institution:1. School of Computer Science & Engineering, Northeastern University, Shenyang 110819, China; 2.School of Software, Northeastern University, Shenyang 110819, China.
Abstract:
Keywords:bilinear map  public verifiable  outsourced computation  unforgeability  verifiable computation  
本文献已被 CNKI 等数据库收录!
点击此处可从《东北大学学报(自然科学版)》浏览原始摘要信息
点击此处可从《东北大学学报(自然科学版)》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号