| 基于依赖图的信息流图构建方法* |
| |
| 引用本文： | 曾建,鞠时光,宋香梅.基于依赖图的信息流图构建方法*[J].计算机应用研究,2009,26(6):2154-2157. |
| |
| 作者姓名： | 曾建 鞠时光 宋香梅 |
| |
| 作者单位： | 江苏大学,计算机科学与通信工程学院,江苏,镇江,212013 |
| |
| 基金项目： | 国家自然科学基金资助项目（60773049）；江苏省自然科学基金资助项目（BK2006073） |
| |
| 摘 要： | 信息流分析法是一种有效的隐通道搜索方法，用信息流图来描述系统中信息流的流动情况。直接基于系统源代码生成系统信息流图，由于信息流的传递关系，会引进大量系统中不存在的信息流路径。利用程序依赖图先处理系统信息流中的传递关系，然后再进行信息流图的生成，从而减少引入系统中不存在的信息流路径，减少信息流分析时的工作量。
|
| 关 键 词： | 程序依赖图 信息流 信息流图 隐通道 |
Construct information flow graph based on PDG |
| |
| ZENG Jian,JU Shi guang,SONG Xiang mei.Construct information flow graph based on PDG[J].Application Research of Computers,2009,26(6):2154-2157. |
| |
| Authors: | ZENG Jian JU Shi guang SONG Xiang mei |
| |
| Affiliation: | (School of Computer Science & Telecommunication Engineering, Jiangsu University, Zhenjiang Jiangsu 212013, China) |
| |
| Abstract: | 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. |
| |
| Keywords: | program dependence graph information flow information flow graph covert channel |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
