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

Cloud service behavior trust model based on non-interference theory

作　　者：谢洪安 刘大福[1] 苏旸[1] 张英男[1] 

机构地区：[1]武警工程大学网络与信息安全武警部队重点实验室,西安710086

出　　处：《计算机应用》2016年第10期2728-2732,共5页journal of Computer Applications

基　　金：国家自然科学基金资助项目(61402530);陕西省自然科学基础研究计划项目(2014JQ8301)~~

摘　　要：为解决云服务环境下存在的资源共享及特权安全威胁,将传统的无干扰理论引入云服务环境中,提出一种基于无干扰理论的云服务可信模型(NICTM)。该模型将云服务中域、动作、状态、输出等进行抽象,形式化地定义了云服务环境中域的可信;然后证明了用户域行为可信定理,符合定理的用户域可以被证明是可信的;最后在Xen虚拟化平台上实现了基于模型的原型系统,并通过实验验证了模型的可行性。In order to solve the security threat of resource sharing and privilege existed in cloud service environment, a new cloud trust model based on non-interference theory, namely NICTM, was proposed. The elements existed in cloud service such as domains, actions, situations, and outputs were abstracted to formally define the trusted domain in cloud services. Besides, the theorem of trusted user domain behavior was proved, and the user domain which followed the theorem could be proved to be trusted. Finally the prototype system was built on Xen virtualization platform, and the feasibility of the model was verified by experiments.

关 键 词：云服务 可信云 行为可信 无干扰理论 虚拟化 

分 类 号：TP309.1[自动化与计算机技术—计算机系统结构]