软件学报

作者：张溯，张颖，张伟，黄罡

单位：张溯，高可信软件技术教育部重点实验室 (北京大学), 北京 10087111,张颖，北京大学 软件工程国家工程研究中心, 北京 10087102,张伟，神旗数码有限公司, 北京 10008503,黄罡，高可信软件技术教育部重点实验室 (北京大学), 北京 10087104

关键词：数据服务;数据完整性;远程证明;控制流证明;可信执行环境

基金：国家重点研发计划(2021YFF1201103)

数据作为一种新型生产要素, 需要在不同主体间流通以发挥价值. 在这一过程中, 数据需要确保其完整性, 避免受到未经授权的篡改, 否则可能导致极为严重的后果. 现有工作通过将分布式账本与数据加密、校验技术结合实现数据存证以证明待流通数据在传输、存储等环节中未受篡改, 保障数据的完整性. 然而, 此类工作难以确认数据供方所提供数据本身的完整性, 一旦数据供方主动或被动提供了伪造数据, 后续完整性保障工作将失去意义. 为此, 提出一种基于远程证明的数据服务完整性验证方法, 所提方法以可信执行环境作为信任锚, 对特定数据服务静态代码、执行过程和执行结果的完整性进行多维度量与验证, 并通过程序切片优化对特定数据服务的完整性验证, 从而将数据完整性保障的范围延伸至数据供方提供数据的环节. 通过在3个真实Java信息系统中25个数据服务上的一系列实验验证了所提出方法的有效性.

来源：2024年第11期

《软件学报》期刊编辑部

查看软件学报杂志2024年第11期