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