一种基于有限状态机的隐含信息流分析方法

• 作者: 姚立红 李斓 訾小超
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 安全操作系统 隐含信息流 隐蔽信道 有限自动机 保密性
• 年，卷（期）: 2006,（8）
• 所属期刊栏目: 操作系统与数据库
• 页码范围: 1460-1467
• 页数: 8页
• 分类号: TP3
• 字数: 8266字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2006.08.025

摘要

安全系统中的隐含信息流对系统保密特性构成了严重威胁,对安全系统进行相应的信息流分析是发现隐含信息流的最有效方法.以往的信息流分析主要基于事件轨迹模型进行,不易在系统安全实践中得到利用.该文把安全系统及安全策略模型化为有限自动机,通过研究有限自动机的特性来分析安全系统的信息流特性,进而确定出系统中是否存在隐含信息流.自动机模型比轨迹模型更为直观和自然地表述系统安全策略,在实际系统中能更好地得到应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李斓	上海交通大学信息安全工程学院	11	132	5.0	11.0
2	訾小超	上海交通大学信息安全工程学院	14	62	4.0	7.0
3	姚立红	上海交通大学信息安全工程学院	16	110	7.0	10.0