%0 Journal Article
%T 基于无干扰理论的云服务行为可信模型
%A 刘大福
%A 张英男
%A 苏旸
%J 计算机应用
%D 2016
%R 10.11772/j.issn.1001-9081.2016.10.2728
%X 摘要 为解决云服务环境下存在的资源共享及特权安全威胁，将传统的无干扰理论引入云服务环境中，提出一种基于无干扰理论的云服务可信模型（NICTM）。该模型将云服务中域、动作、状态、输出等进行抽象，形式化地定义了云服务环境中域的可信；然后证明了用户域行为可信定理，符合定理的用户域可以被证明是可信的；最后在Xen虚拟化平台上实现了基于模型的原型系统，并通过实验验证了模型的可行性
%K 云服务
%K 可信云
%K 行为可信
%K 无干扰理论
%K 虚拟化
%U http://www.joca.cn/CN/abstract/abstract19851.shtml