| 基于无干扰理论的云服务行为可信模型 |
| |
| 引用本文： | 谢洪安,刘大福,苏旸,张英男. 基于无干扰理论的云服务行为可信模型[J]. 计算机应用, 2016, 36(10): 2728-2732. DOI: 10.11772/j.issn.1001-9081.2016.10.2728 |
| |
| 作者姓名： | 谢洪安 刘大福 苏旸 张英男 |
| |
| 作者单位： | 武警工程大学 网络与信息安全武警部队重点实验室, 西安 710086 |
| |
| 基金项目： | 国家自然科学基金资助项目（61402530）；陕西省自然科学基础研究计划项目（2014JQ8301）。 |
| |
| 摘 要： | 为解决云服务环境下存在的资源共享及特权安全威胁，将传统的无干扰理论引入云服务环境中，提出一种基于无干扰理论的云服务可信模型（NICTM）。该模型将云服务中域、动作、状态、输出等进行抽象，形式化地定义了云服务环境中域的可信；然后证明了用户域行为可信定理，符合定理的用户域可以被证明是可信的；最后在Xen虚拟化平台上实现了基于模型的原型系统，并通过实验验证了模型的可行性。
|
| 关 键 词： | 云服务 可信云 行为可信 无干扰理论 虚拟化 |
| 收稿时间： | 2016-03-01 |
| 修稿时间： | 2016-06-17 |
Cloud service behavior trust model based on non-interference theory |
| |
| XIE Hong'an,LIU Dafu,SU Yang,ZHANG Yingnan. Cloud service behavior trust model based on non-interference theory[J]. Journal of Computer Applications, 2016, 36(10): 2728-2732. DOI: 10.11772/j.issn.1001-9081.2016.10.2728 |
| |
| Authors: | XIE Hong'an LIU Dafu SU Yang ZHANG Yingnan |
| |
| Affiliation: | Key Laboratory for Network and Information Security of Chinese Armed Police Force, Engineering University of Chinese Armed Police Force, Xi'an Shaanxi 710086, China, Xi'an Shaanxi 710086, China |
| |
| Abstract: | 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. |
| |
| Keywords: | cloud service trusted cloud behavior trust noninterference theory virtualization |
|
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
