可验证授权计算研究综述  

Survey on Verifiable Delegation of Computation

作　　者：孙奕[1,2,3] 陈性元[2] 杜学绘[2,3] 徐建[2] 

机构地区：[1]北京交通大学计算机与信息技术学院,北京100044 [2]解放军信息工程大学,郑州450004 [3]数学工程与先进计算国家重点实验室,郑州450004

出　　处：《计算机科学》2015年第11期1-7,共7页Computer Science

基　　金：国家"八六三"高技术研究发展计划基金项目(2012AA012704);河南省科技创新人才计划(114200510001)资助

摘　　要：为了解决外包数据和授权计算的安全性问题,近年来可验证授权计算理论又重新受到人们的关注和青睐。文中重点描述了在不可信环境下可验证授权计算技术是如何解决外包数据和授权计算的可验证性问题,并给出了可验证授权计算方案的形式化定义。首先采用不同分类方法对现有研究方案进行总结与归纳,指出现有研究方案的特点、所采用关键技术及不足之处;然后从功能和性能两个方面对方案进行对比分析;最后结合应用热点,从不同应用方向展望了该领域的研究趋势和发展前景。In order to resolve safety issue of outsoureing data and verifiable delegation of computation, the theory of veri- fiable computation starts to draw public＇s attention recently. This paper illustrated how verifiable delegation of compu- tation technique resolves above verifiability issues and provided formal ddinition of verifiable computation. This is the first time to summarize and induce current schemes from different classification methods, and illustrate key techniques and deficiency. Then this paper compared and analyzed these schemes from two aspects of function and performance. Fi- nally, combined with the application hotspots, we forecasted tendency and development perspective in this research area from different application directions.

关 键 词：可验证授权计算 云计算 安全外包数据 同态加密 同态认证码 可认证数据结构 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]