基于无干扰理论的云服务行为可信模型

发布时间：2017-07-07 12:17

  本文关键词：基于无干扰理论的云服务行为可信模型

  更多相关文章： 云服务 可信云 行为可信 无干扰理论 虚拟化

【摘要】：为解决云服务环境下存在的资源共享及特权安全威胁,将传统的无干扰理论引入云服务环境中,提出一种基于无干扰理论的云服务可信模型(NICTM)。该模型将云服务中域、动作、状态、输出等进行抽象,形式化地定义了云服务环境中域的可信;然后证明了用户域行为可信定理,符合定理的用户域可以被证明是可信的;最后在Xen虚拟化平台上实现了基于模型的原型系统,并通过实验验证了模型的可行性。
【作者单位】： 武警工程大学网络与信息安全武警部队重点实验室;
【关键词】： 云服务 可信云 行为可信 无干扰理论 虚拟化
【基金】：国家自然科学基金资助项目(61402530) 陕西省自然科学基础研究计划项目(2014JQ8301)~~
【分类号】：TP309;TP393.09
【正文快照】： 0引言云服务通过虚拟化技术[1]对底层计算、网络、存储资源进行封装,在给远程租户提供各类资源、实现资源有效利用的同时也存在着巨大的安全威胁。云服务目前面临的安全威胁主要来自两个方面:一方面是共享资源的安全威胁[2];另一方面是特权安全威胁。其中共享资源的安全威胁源

【相似文献】

中国期刊全文数据库 前7条

1 崔隽;黄皓;陈志贤;;基于不干扰理论的隔离语义描述及隔离策略的自动化验证方法研究[J];计算机科学;2010年06期

2 陈曙;叶俊民;张帆;;一种基于污点数据传播和无干扰理论的软件行为可信性分析模型[J];计算机科学;2013年05期

3 邱罡;王玉磊;周利华;;基于无干扰理论的完整性度量模型[J];四川大学学报(工程科学版);2010年04期

4 刘威鹏;张兴;;基于非传递无干扰理论的二元多级安全模型研究[J];通信学报;2009年02期

5 陈菊;谭良;;一个基于进程保护的可信终端模型[J];计算机科学;2011年04期

6 徐甫;;支持进程代码修改的非传递无干扰可信模型[J];计算机工程;2013年11期

7 ;[J];;年期

，

本文编号：530169