【摘 要】
：
已有可验证计算方案存在以下不足：一是只有计算委托方才可以对计算结果进行验证;二是即使计算委托方可以授权其他用户进行验证,但也需要将自身验证密钥交给授权用户.针对上述
【机 构】
：
东北大学计算机科学与工程学院,东北大学软件学院
【基金项目】
：
国家自然科学基金资助项目(61300196),中央高校基本科研业务费专项资金(N130317003),国家科学技术重大专项资助项目(2013ZX03002006),辽宁省科技计划项目(2013217004),沈阳自然科学基金资助项目(F14-231-1-08)
论文部分内容阅读
已有可验证计算方案存在以下不足：一是只有计算委托方才可以对计算结果进行验证;二是即使计算委托方可以授权其他用户进行验证,但也需要将自身验证密钥交给授权用户.针对上述不足,提出一个支持公共验证的外包计算模型,给出其算法形式化定义及安全模型,并利用双线性映射提出了一个包含三方实体的公共可验证外包计算方案,给出了方案算法的具体描述、实体间的通信协议以及效率分析,方案验证无需私钥参与,实现了公共可验证性.在可证安全模型下证明该方案具有不可伪造性,其安全性可归约于lSBDH问题的困难性.
其他文献
通过低膨胀微晶玻璃的高速点磨削实验,测试了加工表面硬度,分析了表面硬度随工艺参数的变化趋势.基于BP神经网络算法与单因素实验值,通过最小二乘数值拟合,建立了点磨削低膨
钢琴专业在近代成为热门专业,究其原因可以总结为以下几点:钢琴在中国广为传播是极大促因;国家经济水平日益提升是其主要原因之一;人民音乐意识的崛起是其成为普及教育的根本
以中关铁矿采动断层突水为例,对连续开挖过程断层活化顶板突水进行有限元模拟,从力学角度研究断层带应力和损伤区迁移过程,分析断层活化机制.研究表明：连续开挖是造成断层损伤