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

关键词: 隐通道 安全模型 安全策略 最小条件 搜索方法 消除方法