计算机工程与应用2001，Vol.37Issue(7)：92-94,106,4.
利用源代码信息流分析搜寻隐蔽存储信道
Detecting the Covert Storage Channel Using Code Info Flow Analysis
摘要
Abstract
A new method for detecting covert storage channel using source code info_flow analysis is proposed after analyzing the current technology of the security test and evaluation of OS,which needs less formalization description and coherence demonstration and can determinate more covert storage channels compared with the traditional ones in the world.关键词
信息流隐蔽信道共享变量安全级分类
信息技术与安全科学引用本文复制引用
吴达荣,杨学良,周钢..利用源代码信息流分析搜寻隐蔽存储信道[J].计算机工程与应用,2001,37(7):92-94,106,4.
