安全信息流的实时监控机制

• 作者: 晏立 王昌达 鞠时光
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 安全系统 实时监控 下推自动机 隐蔽信息流 安全模型 保密性
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 51-57
• 页数: 7页
• 分类号: TP309.2
• 字数: 6722字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2008.10.009

摘要

提出了一种基于安全自动机的信息流实时监控技术,该技术防范了恶意用户通过程序结构的缺陷窃取机密信息.监控机制使用了下推自动机,结合动态分析技术和静态分析技术,利用清除函数的原理,通过状态变换实时检测信息流的安全性.在程序执行期间,对程序事件进行抽象并跟踪信息流,用安全自动机产生的断言控制目标程序的执行,防止非法操作.用C语言实现了安全自动机,实验结果证明这种技术是灵活实用的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	晏立	江苏大学计算机科学与通信工程学院	27	270	7.0	16.0
2	王昌达	江苏大学计算机科学与通信工程学院	50	237	9.0	13.0
3	鞠时光	江苏大学计算机科学与通信工程学院	159	1685	21.0	34.0