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

来源：软件学报杂志2016年第6期北京时间：

作者：石勇,郭煜,刘吉强,韩臻,马威,常亮

单位：石勇，北京交通大学 计算机与信息技术学院, 北京 10004411,郭煜，北京交通大学 计算机与信息技术学院, 北京 10004402,刘吉强，北京交通大学 计算机与信息技术学院, 北京 10004403,韩臻，北京交通大学 计算机与信息技术学院, 北京 10004404,马威，北京交通大学 计算机与信息技术学院, 北京 10004405,常亮，广西可信软件重点实验室(桂林电子科技大学), 广西 桂林 54100406

摘要：租户隔离是云计算能被作为第三方服务提供给租户的重要前提,因此,云租户隔离机制的安全有效性能否被租户信任,对云计算服务的推广非常关键.但在云计算这种第三方服务模式中,由于租户不能参与云服务基础设施及其安全隔离机制的建设和管理过程,因此他们难以对云租户隔离机制的安全有效性建立信心.将透明性要求视为可信云租户隔离机制的一部分,将云租户隔离机制和租户透明要求都转化为云服务系统中不同安全域之间的信息流,对云租户隔离机制进行定义,并制定云计算平台中的域间信息流策略控制方式,最后,基于信息流无干扰理论证明了所定义的云租户隔离机制在安全方面的有效性.

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

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