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

• 作者: 刘玲玲 张迎周
• 来源期刊: 南京邮电大学学报（自然科学版）
• 学科: 工学
• 关键词: 信息流安全 语义模型 类型系统 形式化方法
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 计算机与自动控制
• 页码范围: 87-96
• 分类号: TP309
• 字数: 10345字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5439.2011.05.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘玲玲	南京邮电大学计算机学院	5	17	3.0	4.0
5	张迎周	南京邮电大学计算机学院	27	142	7.0	10.0