信息流控制研究进展

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

作者：吴泽智,陈性元,杨智,杜学绘

单位：吴泽智，解放军信息工程大学, 河南 郑州 450001;密码科学技术国家重点实验室, 北京 100094;河南省信息安全重点实验室, 河南 郑州 45000111,陈性元，解放军信息工程大学, 河南 郑州 450001;密码科学技术国家重点实验室, 北京 100094;河南省信息安全重点实验室, 河南 郑州 45000102,杨智，解放军信息工程大学, 河南 郑州 450001;河南省信息安全重点实验室, 河南 郑州 45000103,杜学绘，解放军信息工程大学, 河南 郑州 450001;河南省信息安全重点实验室, 河南 郑州 45000104

摘要：信息流控制能够保证数据与隐私端到端安全，一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展，首先，从基于格、安全类型系统、安全进程代数和自动机这4个方面介绍了信息流控制的基本理论与模型；其次，从计算机层次结构由下而上出发，综述了基于硬件、操作系统、虚拟机、高级语言、低级语言、数据库和网络的信息流控制实现方法，并对比了各类研究的特点；然后，结合当今时代前沿技术，分析了信息流控制在云计算、移动互联、大数据和物联网等新技术下的应用；最后，总结了当前信息流控制相关研究中存在的问题，并针对今后该领域的研究趋势进行了展望，对下一步研究工作有一定的参考价值.

关键词：信息流控制;安全模型;安全类型系统;进程代数;动态污点跟踪

基金资助：国家高技术研究发展计划（863）（2015AA016006，2012AA012704）