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

谢洪安; 刘大福; 苏旸; 张英男

首页> 中文期刊> 《计算机应用》 >基于无干扰理论的云服务行为可信模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为解决云服务环境下存在的资源共享及特权安全威胁,将传统的无干扰理论引入云服务环境中,提出一种基于无干扰理论的云服务可信模型(NICTM).该模型将云服务中域、动作、状态、输出等进行抽象,形式化地定义了云服务环境中域的可信;然后证明了用户域行为可信定理,符合定理的用户域可以被证明是可信的;最后在Xen虚拟化平台上实现了基于模型的原型系统,并通过实验验证了模型的可行性.

著录项

来源
《计算机应用》 |2016年第10期|2728-2732|共5页
作者
谢洪安; 刘大福; 苏旸; 张英男;
展开▼
作者单位

武警工程大学网络与信息安全武警部队重点实验室;

西安710086;

武警工程大学网络与信息安全武警部队重点实验室;

西安710086;

武警工程大学网络与信息安全武警部队重点实验室;

西安710086;

武警工程大学网络与信息安全武警部队重点实验室;

西安710086;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机设备安全;
关键词
云服务; 可信云; 行为可信; 无干扰理论; 虚拟化;

相似文献

中文文献
外文文献
专利

1. 一种基于污点数据传播和无干扰理论的软件行为可信性分析模型 [J] . 陈曙 ,叶俊民 ,张帆 . 计算机科学 . 2013,第005期
2. 基于无干扰理论的在线用户行为可信性分析方法 [J] . 董海燕 ,于枫 ,程科 . 计算机应用 . 2019,第010期
3. 基于无干扰理论的交换行为可信性分析方法 [J] . 孙奕 ,陈性元 ,杜学绘 . 通信学报 . 2014,第012期
4. 基于无干扰理论的可信链模型 [J] . 赵佳 ,沈昌祥 ,刘吉强 . 计算机研究与发展 . 2008,第006期
5. 基于隶属度理论的云服务行为信任评估模型研究 [J] . 谢立军 ,朱智强 ,孙磊 . 计算机应用研究 . 2013,第004期
6. 基于进程的无干扰可信模型 [C] . 张兴 ,陈幼雷 ,盖新貌 . 2008中国计算机网络安全应急年会（信息内容安全分会） . 2008
7. 基于行为图和三方决策机制的可信云服务模型 [A] . 张赫 . 2016

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

摘要

著录项

相似文献

相关主题

期刊订阅