10.3969/j.issn.1001-2400.2011.03.020
一种基于逆向迭代搜索的快速隐通道检测方法
提出了一种基于静态分析的隐通道自动检测方法.采用完整语法与语义分析手段完成原始信息流提取,保留了局部变量导致的间接信息流,定义了库函数信息流规则以及信息流推导规则,提高了信息流收集的准确性与完整性;采用基于信息流图的带约束逆向深度优先搜索算法,实现了潜在隐通道检测,与传统共享资源矩阵法与正向遍历信息流图方法相比,该方法具有更高的检测效率;并通过语法及语义规则实现了伪隐通道的筛选,减少了误报.
隐通道、静态分析、信息流图、带约束的逆向深度优先搜索
38
TP311(计算技术、计算机技术)
国家"十一五"预研资助项目51315060103
2011-08-23(万方平台首次上网日期,不代表论文的发表时间)
共8页
128-135