首页|面向外包服务的可验证技术研究进展

面向外包服务的可验证技术研究进展

扫码查看
随着数字经济时代的到来,数据已成为重要生产要素,将数据外包给第三方存储、管理、分析、计算等应用越来越广泛,随之而来的外包数据、外包计算等外包服务的可信性问题也日益突出,可验证技术被视为判定外包服务可信的一种有效且具有广泛应用前景的技术。该技术发展迅速、研究内容丰富、技术多样、种类繁多,且随着区块链、人工智能、隐私计算等新型外包服务需求的出现,为可验证技术带来了新的挑战和发展契机。本文对面向外包服务的可验证技术研究进展进行了梳理与总结。首先梳理总结给出了面向外包服务的可验证技术框架、分类方法、安全目标与评价体系。接着从外包数据和外包计算两个角度给出可验证技术的形式化定义,并分别论述其典型的可验证方案。然后从外包数据的角度,以验证数据类型为主线结合实现的功能和方法分别详细论述了不同数据类型、不同场景、不同实现方式的外包数据持有性验证和完整性验证技术;从外包计算的角度,根据外包计算类型的不同,总结归纳了 5种典型外包计算的可验证技术特点及研究进展,并基于提出的评价体系对典型方案进行了详细的对比分析。最后结合新兴技术和应用热点,展望了可验证技术在前沿方向上的发展趋势、应用前景及其面临的挑战。
Research progress of verifiable technologies for outsourcing services
With the advent of the digital economy,data has become an important factor in production.There is an ever-growing trend of outsourcing data to third parties for storage,management,analysis and computation,which causes increasingly prominent trust issues with outsourcing services such as outsourced data and computing.As an effective and promising technology for determining the trustworthiness of outsourcing services,verifiable technology is rapidly developed,rich in research,diverse and varied in technology.With the emergence of new outsourcing service requirements such as blockchain,artificial intelligence,and privacy computing,there come new challenges and opportunities.In this paper,the progress of verifiable technologies for outsourcing services is reviewed and summarized.First,we summarize the frameworks,classification methods,security objectives and evaluation system of verifiable technology for outsourcing services.Then we formally define the verifiable technology and discuss the typical verifiable schemes from the perspectives of outsourcing data and outsourcing computing,respectively.From the former perspective,this paper,based on the verifiable data types,together with the implemented functions and methods,discusses the outsourced data holdings and integrity verification technologies under different data types,scenarios and implementation methods;from the latter perspective,we summarize the characteristics and progress of five typical outsourced computing verifiable techniques,and conduct a detailed comparative analysis of typical solutions,based on the proposed evaluation system.Finally,in the context of emerging technologies and application hot issues,the developing trend and application prospect of verifiable technologies and challenges are viewed.

outsourcing servicesoutsourcing data verificationverifiable computationauthenticated data structuresdynamic verifiable structures

孙奕、杨帆、陈性元、杜学绘、林玮

展开 >

信息工程大学密码工程学院,郑州 450001

密码科学技术国家重点实验室,北京 100094

外包服务 外包数据验证 可验证计算 可认证数据结构 动态可验证结构

2024

中国科学F辑
中国科学院,国家自然科学基金委员会

中国科学F辑

CSTPCD北大核心
影响因子:1.438
ISSN:1674-5973
年,卷(期):2024.54(3)
  • 207