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

• 作者: 刘大福 张英男 苏旸 谢洪安
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 云服务 可信云 行为可信 无干扰理论 虚拟化
• 年，卷（期）: 2016,（10）
• 所属期刊栏目: 网络空间安全
• 页码范围: 2728-2732
• 页数: 5页
• 分类号: TP309.1
• 字数: 5897字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2016.10.2728

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏旸	武警工程大学网络与信息安全武警部队重点实验室	27	85	5.0	7.0
2	张英男	武警工程大学网络与信息安全武警部队重点实验室	15	52	4.0	6.0
3	刘大福	武警工程大学网络与信息安全武警部队重点实验室	4	5	1.0	2.0
4	谢洪安	武警工程大学网络与信息安全武警部队重点实验室	2	5	1.0	2.0