基于无干扰理论的云服务行为可信模型
来源：计算机应用杂志2016年第10期北京时间：
作者：谢洪安, 刘大福, 苏旸, 张英男
单位：武警工程大学 网络与信息安全武警部队重点实验室, 西安 710086
摘要：为解决云服务环境下存在的资源共享及特权安全威胁，将传统的无干扰理论引入云服务环境中，提出一种基于无干扰理论的云服务可信模型（NICTM）。该模型将云服务中域、动作、状态、输出等进行抽象，形式化地定义了云服务环境中域的可信；然后证明了用户域行为可信定理，符合定理的用户域可以被证明是可信的；最后在Xen虚拟化平台上实现了基于模型的原型系统，并通过实验验证了模型的可行性。
关键词：云服务,可信云,行为可信,无干扰理论,虚拟化
基金资助：国家自然科学基金资助项目（61402530）；陕西省自然科学基础研究计划项目（2014JQ8301）。
