基于依赖图的信息流图构建方法  

Construct information flow graph based on PDG

作　　者：曾建[1] 鞠时光[1] 宋香梅[1] 

机构地区：[1]江苏大学计算机科学与通信工程学院,江苏镇江212013

出　　处：《计算机应用研究》2009年第6期2154-2157,2164,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(60773049);江苏省自然科学基金资助项目(BK2006073)

摘　　要：信息流分析法是一种有效的隐通道搜索方法,用信息流图来描述系统中信息流的流动情况。直接基于系统源代码生成系统信息流图,由于信息流的传递关系,会引进大量系统中不存在的信息流路径。利用程序依赖图先处理系统信息流中的传递关系,然后再进行信息流图的生成,从而减少引入系统中不存在的信息流路径,减少信息流分析时的工作量。Information flow analysis is an effective approach to identify covert channel. This paper represented the information flow of the system with information flow graph（IFG）. If constructing the IFG of system based on the source code of the system directly, it may produce a great number of information flow paths not existing in the system for the reason of the transitivity of the information flow. This paper handled the transitivity of the information flow with the program dependence graph before constructing the IFG. It reduced the number of the information flow paths not existing in the system and the workload of information flow analysis based on the IFG.

关 键 词：程序依赖图 信息流 信息流图 隐通道 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]