| 隐通道存在的最小条件及其应用 |
| |
| 引用本文： | 王昌达,鞠时光,杨珍,郭殿春.隐通道存在的最小条件及其应用[J].计算机科学,2005,32(1):77-79. |
| |
| 作者姓名： | 王昌达 鞠时光 杨珍 郭殿春 |
| |
| 作者单位： | 1. 江苏大学计算机科学与通信工程学院,镇江,212013;卡尔顿大学计算机科学学院,加拿大,渥太华,K
2. 江苏大学计算机科学与通信工程学院,镇江,212013 |
| |
| 基金项目： | 国家自然科学基金(No.60373069)，江苏省自然科学基金(No.BK200204) |
| |
| 摘 要： | 隐通道能在安全机制的监控之下将保密信息外泄，因而对系统安全的威胁极大。通过研究隐通道的工作原理，形式化地证明了隐通道存在的最小条件。在此基础上，对现有的隐通道搜索与消除方法进行了分类，并从理论上说明了各种方法的正确性及其不足。这些工作不仅为隐通道的搜索与消除工作提供了可信的理论依据，而且为寻找新的隐通道搜索与消除方法提供了一个研究框架。
|
| 关 键 词： | 隐通道 安全模型 安全策略 最小条件 搜索方法 消除方法 |
he Minimum Criteria of Covert Channels' Existence and its Application |
| |
| WANG Chang-Da,JU Shi-Guang,YANG Zhen,GUO Dian-Chun School of Computer Science and Telecommunications,Jiangsu University,Zhengjiang,Jiangsu School of Computer Science,Carleton University,Ottawa,Ontario,Canada KS B.he Minimum Criteria of Covert Channels'''' Existence and its Application[J].Computer Science,2005,32(1):77-79. |
| |
| Authors: | WANG Chang-Da JU Shi-Guang YANG Zhen GUO Dian-Chun School of Computer Science and Telecommunications Jiangsu University Zhengjiang Jiangsu School of Computer Science Carleton University Ottawa Ontario Canada KS B |
| |
| Affiliation: | WANG Chang-Da,JU Shi-Guang,YANG Zhen,GUO Dian-Chun School of Computer Science and Telecommunications,Jiangsu University1,Zhengjiang,Jiangsu 212013 School of Computer Science,Carleton University2,Ottawa,Ontario,Canada K1S 5B6 |
| |
| Abstract: | Covert channels can leak confidential information under the supervision of security mechanism,so its threat is very serious. By research on the working principle of covert channels,the minimum criteria of its existence had been formally proved. Based on it,the taxonomy for the methods of search and elimination in covert channels was given. Furthermore,each method's correctness and deficiency were represented theoretically. These were not only offered the theory bedrock for the work of search and eliminate covert channels,but also given a frame for develop new search and elimination methods in covert channels. |
| |
| Keywords: | Covert channel Security model Security policy |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
