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

摘要：

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

关键词：云安全、可信计算、系统依赖图、远程证明

所属期刊栏目：66

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金;航天五院CAST基金;苏州市前瞻性应用研究项目

在线出版日期：2020-09-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：401-408