一种透明的可信云租户隔离机制研究？  

Trusted Cloud Tenant Separation Mechanism Supporting Transparency

作　　者：石勇[1] 郭煜[1] 刘吉强[1] 韩臻[1] 马威[1] 常亮[2] 

机构地区：[1]北京交通大学计算机与信息技术学院,北京100044 [2]广西可信软件重点实验室(桂林电子科技大学),广西桂林541004

出　　处：《软件学报》2016年第6期1538-1548,共11页Journal of Software

基　　金：国家自然科学基金（61363030）;广西可信软件重点实验室研究课题（KX201531）

摘　　要：租户隔离是云计算能被作为第三方服务提供给租户的重要前提,因此,云租户隔离机制的安全有效性能否被租户信任,对云计算服务的推广非常关键.但在云计算这种第三方服务模式中,由于租户不能参与云服务基础设施及其安全隔离机制的建设和管理过程,因此他们难以对云租户隔离机制的安全有效性建立信心.将透明性要求视为可信云租户隔离机制的一部分,将云租户隔离机制和租户透明要求都转化为云服务系统中不同安全域之间的信息流,对云租户隔离机制进行定义,并制定云计算平台中的域间信息流策略控制方式,最后,基于信息流无干扰理论证明了所定义的云租户隔离机制在安全方面的有效性.Tenant separation is a provision for cloud computing to be provided to tenants as a third party service, therefore the tenants＇ confidence in the security effectiveness of cloud tenant is critical to the promotion of cloud services. However, in a third party service such as cloud computing, tenants have few opportunities to take part in the construction and management of the infrastructure of cloud computing, making it hard for the tenants to trust the tenant separation mechanism in cloud. This paper views the transparency requirement as a part of trusted cloud tenant separation mechanism, implements a cloud tenant separation mechanism and its transparency requirement based on the inter-domain information flow control policy in cloud computing systems, and proves that the resulting cloud tenant separation mechanism is secure and effective by non-interference theory.

关 键 词：云租户隔离 租户透明性 信息流策略 可信云 无干扰理论 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]