%0 Journal Article
%T Identification of covert channel based on source code
基于源代码的隐通道搜索方法
%A SONG Xiang-mei
%A JU Shi-guang
%A
宋香梅
%A 鞠时光
%J 计算机应用
%D 2006
%I
%X To solve the heavy workload caused by the fact that covert channel identification still depends on the handwork to analyze the information flow in the statement, an information flow analysis method based on source code was provided. The method can find shared variables in primitive of software system, and take them as the input for shared resource matrix method. Then, a highly-efficient and highly-precise analysis tool for covert channel is obtained.
%K covert channel
%K information flow
%K information flow tree
%K shared resource matrix
隐通道
%K 信息流
%K 信息流树
%K 共享资源矩阵
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=4D86D59A54EB31AC&yid=37904DC365DD7266&vid=96C778EE049EE47D&iid=9CF7A0430CBB2DFD&sid=92E8E2714FC49B30&eid=E8101C99E403BAC0&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=6