|
|||||
|
|
| 基于带标签有限自动机的隐蔽存储通道搜索 | |
| 引用本文： | 姚立红,訾小超,潘理,李建华.基于带标签有限自动机的隐蔽存储通道搜索[J].上海交通大学学报,2008,42(10):1646-1649. |
| 作者姓名： | 姚立红 訾小超 潘理 李建华 |
| 作者单位： | （1. 上海交通大学 信息安全工程学院， 上海 200240; 2. 南京大学 计算机软件新技术国家重点实验室， 南京 210093） |
| 基金项目： | 国家高技术研究发展计划(863计划)，国家高技术研究发展计划(863计划)，国家高技术研究发展计划(863计划) |
| 摘 要： | 分析了隐蔽存储通道存在时的系统运行特征，在此基础上提出一种隐蔽存储通道搜索方法.该方法运用有限自动机模型描述系统运行规则，通过自动化过程发现系统中潜在的隐蔽存储通道.该搜索方法为潜在的隐蔽存储通道描绘出存在场景和信息传递过程，并由此计算出带宽. |
| 关 键 词： | 安全操作系统 隐蔽通道 带标签有限自动机 信息熵 |
| 收稿时间： | 2007-11-21 |
Covert Storage Channel Identification Based on Labeled Finite Automaton |
|
| YAO Li-hong,ZI Xiao-chao,PAN Li,LI Jian-hua.Covert Storage Channel Identification Based on Labeled Finite Automaton[J].Journal of Shanghai Jiaotong University,2008,42(10):1646-1649. | |
| Authors: | YAO Li-hong ZI Xiao-chao PAN Li LI Jian-hua |
| Institution: | (1. School of Information Security Engineering, Shanghai Jiaotong University, Shanghai 200240, China; 2. State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing 210093, China) |
| Abstract: | The characteristic of an information system was analyzed while covert storage channels exist. Then a covert storage channel identification method was put forward. It models the system as a labelled finite automaton and identifies the potential covert storage channels automatically. Then the existence scenarios and the information transferring processes of these channels were described. Furthermore, the calculation of the channel bandwidth was discussed. |
| Keywords: | secure operating system covert channel labeled finite automaton(LFA) entropy |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《上海交通大学学报》浏览原始摘要信息 | |
| 点击此处可从《上海交通大学学报》下载免费的PDF全文 | |