隐通道存在的最小条件及其应用

摘要：

隐通道能在安全机制的监控之下将保密信息外泄,因而对系统安全的威胁极大.通过研究隐通道的工作原理,形式化地证明了隐通道存在的最小条件.在此基础上,对现有的隐通道搜索与消除方法进行了分类,并从理论上说明了各种方法的正确性及其不足.这些工作不仅为隐通道的搜索与消除工作提供了可信的理论依据,而且为寻找新的隐通道搜索与消除方法提供了一个研究框架.

关键词：急通道、安全模型、安全策略

所属期刊栏目：32

分类号：TP3;P20

资助基金：国家自然科学基金60373069;江苏省自然科学基金BK200204

在线出版日期：2005-03-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：77-79