一种基于逆向迭代搜索的快速隐通道检测方法

• 作者: 孔德兰 张立勇 王献青 邓凡 陈平
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 隐通道 静态分析 信息流图 带约束的逆向深度优先搜索
• 年，卷（期）: 2011,（3）
• 页码范围: 128-135
• 分类号: TP311
• 字数: 8313字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2011.03.020

摘要

提出了一种基于静态分析的隐通道自动检测方法.采用完整语法与语义分析手段完成原始信息流提取,保留了局部变量导致的间接信息流,定义了库函数信息流规则以及信息流推导规则,提高了信息流收集的准确性与完整性;采用基于信息流图的带约束逆向深度优先搜索算法,实现了潜在隐通道检测,与传统共享资源矩阵法与正向遍历信息流图方法相比,该方法具有更高的检测效率;并通过语法及语义规则实现了伪隐通道的筛选,减少了误报.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈平	西安电子科技大学软件工程研究所	149	1211	17.0	28.0
2	张立勇	西安电子科技大学软件工程研究所	15	155	7.0	12.0
3	邓凡	西安电子科技大学软件工程研究所	4	11	2.0	3.0
4	王献青	西安电子科技大学软件工程研究所	2	3	1.0	1.0
5	孔德兰	西安电子科技大学软件工程研究所	1	2	1.0	1.0