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

The Minimum Criteria of Covert Channels' Existence and its Application

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

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.