云计算环境下基于系统依赖图的远程证明方案

作者：陈璐; 柯文彬; 张立强^*; 陈云

来源：武汉大学学报(理学版), 2020, 66(04): 401-408.

DOI：10.14188/j.1671-8836.2019.0503

• 云安全
• 可信计算
• 系统依赖图
• 远程证明

针对云计算环境中服务端执行行为不能被度量以致用户无法判断自身数据安全性的问题,提出云计算环境下基于系统依赖图(system dependence graph,SDG)的远程证明方案。该方案通过构建服务端程序的系统依赖图,刻画程序与文件间的依赖关系,建立行为度量目标集合,实现对用户数据访问程序执行过程的度量分析;针对客户端对云计算服务端存储的用户数据的可验证需求,对远程证明机制进行了扩展,增加了对行为度量的安全性验证。通过构造程序实例发生改变前后的程序依赖图(program dependence graph,PDG)、SDG以及对应节点信息流,验证了本文方案的可靠性和有效性。

• 单位
  中国人民解放军海军工程大学; 武汉大学; 武汉大学苏州研究院