信息流安全技术回顾与展望

摘要：

随着计算机和网络技术的迅猛发展,计算机系统和开放式的网络系统受到的攻击也日益增多.访问控制、入侵检测、加密等传统的安全机制只注重控制信息的释放,不能充分保证信息端到端的安全.信息流的方法通过分析系统中信息的流动,确保流动的信息都是合法的.介绍了信息流的基本模型、信息流分析的几种典型方法及其应用,并对它们进行了分析比较,最后给出了现有的信息流分析方法中存在的问题和未来的研究方向.结果表明采用信息流分析方法实现信息端到端的安全是可行的.

关键词：信息流安全、语义模型、类型系统、形式化方法

所属期刊栏目：31

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金60703086,60873231,60873049,60973046;江苏省高校自然科学基金10KJB520015;南京邮电大学自然科学研究基金NY2 10009;江苏省"青蓝工程"优秀青年骨干教师项目和广西可信软件重点实验室开放基金

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：87-96