%0 Journal Article
%T he Minimum Criteria of Covert Channels'''' Existence and its Application<br>隐通道存在的最小条件及其应用
%A WANG Chang-Da
%A JU Shi-Guang
%A YANG Zhen
%A GUO Dian-Chun School of Computer Science
%A Telecommunications
%A Jiangsu University
%A Zhengjiang
%A Jiangsu School of Computer Science
%A Carleton University
%A Ottawa
%A Ontario
%A Canada KS B
%A <br>王昌达
%A 鞠时光
%A 杨珍
%A 郭殿春
%J 计算机科学
%D 2005
%I 
%X 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.
%K Covert channel
%K Security model
%K Security policy<br>隐通道
%K 安全模型
%K 安全策略
%K 最小条件
%K 搜索方法
%K 消除方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=FE21F6F39066B112&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=CA4FD0336C81A37A&sid=E44E40A2398D4F2A&eid=9C65ADEB5990B252&journal_id=1002-137X&journal_name=计算机科学&referenced_num=5&reference_num=18