信息流控制研究进展

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