| 一种基于有限状态机的隐含信息流分析方法 |
| |
| 引用本文： | 訾小超,姚立红,李斓.一种基于有限状态机的隐含信息流分析方法[J].计算机学报,2006,29(8):1460-1467. |
| |
| 作者姓名： | 訾小超 姚立红 李斓 |
| |
| 作者单位： | 上海交通大学信息安全工程学院,上海,200240 |
| |
| 摘 要： | 安全系统中的隐含信息流对系统保密特性构成了严重威胁，对安全系统进行相应的信息流分析是发现隐含信息流的最有效方法．以往的信息流分析主要基于事件轨迹模型进行，不易在系统安全实践中得到利用．该文把安全系统及安全策略模型化为有限自动机，通过研究有限自动机的特性来分析安全系统的信息流特性，进而确定出系统中是否存在隐含信息流．自动机模型比轨迹模型更为直观和自然地表述系统安全策略，在实际系统中能更好地得到应用．
|
| 关 键 词： | 安全操作系统 隐含信息流 隐蔽信道 有限自动机 保密性 |
| 收稿时间： | 2006-04-04 |
| 修稿时间： | 2006-04-042006-05-30 |
A State-Based Approach to Information Flow Analysis |
| |
| ZI Xiao-Chao,YAO Li-Hong,LI Lan.A State-Based Approach to Information Flow Analysis[J].Chinese Journal of Computers,2006,29(8):1460-1467. |
| |
| Authors: | ZI Xiao-Chao YAO Li-Hong LI Lan |
| |
| Affiliation: | School of Information Security Engineering, Shanghai Jiao Tong University, Shanghai 200240 |
| |
| Abstract: | |
| |
| Keywords: | secure operating system hidden information flow covert channel finite automata confidentiality |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
