基于无干扰的云计算环境行为可信性分析

摘要：

云安全是目前云计算研究的热点之一.作为云安全基础的可信计算,目前仍存在一些关键问题有待解决,这使得云安全事实上是有缺陷的.针对可信计算中的动态行为可信度量问题,本文提出了一种基于无干扰的云环境行为可信性分析方法.首先,基于可信计算组织TCG(Trusted Computing Group)和学术界对于“可信”的定义,给出了行为可信的判定等式.进一步地,建立了基于状态递归等价的行为可信的充要条件,解决了目前尚没有有效的行为可信性验证方法的问题目前没有见到类似结论.最后,本文给出了实验示例,证明了方法是有效的.

关键词：无干扰、动态行为可信、云安全、可信计算、云计算

所属期刊栏目：42

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

资助基金：国家自然科学基金61502438,61502362;湖北省自然科学基金重点项目2015CFA061

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

页数：共20页

页码：736-755