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

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