基于混合流策略的按需分布式云信息流控制模型-中国云计算.pdfVIP

Vo 1. 44 No. 10 第 44 卷第10 期 计算机科学 2017 年 10 月 COMPUTER SCIENCE Oct.2017 基于混合流策略的按需分布式云信息流控制模型 杜远志杜学绘杨智 (中国人民解放军信息工程大学四院 郑州、I 45000 1) (河南省信息安全重点实验室 郑州I 45000 1) (数学工程与先进计算国家重点实验室 郑州 450001) 摘 要 为确保云平台上虚拟机系统用户信息的安全，提出了一种基于混合流策略的按需分布式云信息流控制模型 CMixed Flow Policy Based On-demand Distributed Cloud Information Flow Control Model，扎在DIFC) 。该模型以分布式 信息流控制模型为基础，结合中国墙策略形成混合流策略，通过引入污点传播思想跟踪采敏感数据以实现策略，为用 户数据提供更好的安全保障。为提高模型的灵活性，考虑到虚拟域行为更具主动性的特征，提出了按需受控的概念 及与之相适应的输出型机密性。同时，通过按需受控显著地降低了污点传播造成的开销。利用 π 演算对模型规格 进行形式化描述，并借助 PicNic 工具证明模型的无干扰性。最后，通过一个应用示例说明了模型的实用性。 关键词 云计算，信息流控制，按需污点传播，中国墙策略，π 演算 中固法分类号 TP316 文献标识码 A DOI 10. 11896/j. issn. 1002-1372♀ 2017.010.029 Mixed Flow Policy ßased On-demand Distributed Cloud Information Flow Control Model DU Yuan-zhi DU Xue-hui YANG Zhi (College 4. PLA Info口丑ation Engineering University ,Zhengzhou 450001 ,China) (Henan Province Key Laboratory of Information Security. Zhengzhou 450001. China) (State Key Laboratory of Mathematical Engineering and Advanced Computing ,Zhengzhou 450001 ,China) Abstract In order to protect the security of user information in virtual machine on the cloud platform ,this paper pro posed a mixed flow control based on-demand distributed information flow control model (扎在DIFC). This model deve- lopes from DIFC ,and the taint propagation is introduced to track the sensitive data so that the system can enforce the strategy and the user data can be protected better. In order to improve the flexibility of the model ,cons