Title :
Construct Information Flow Graph Based on PDG
Author :
Zeng, Jian ; Ju, Shiguang ; Song, Xiangmei
Author_Institution :
Sch. of Comput. Sci., Jiang Su Univ., Zhen Jiang, China
Abstract :
This paper represents the information flow of the system with information flow graph (IFG). If constructing the system IFG based on the source code of the system directly, it may produce a great number of information flow paths not existing because of the transitivity of the information flow. This paper handles the transitivity of the information flow with the program dependence graph (PDG) before constructing of the IFG, which reduce the number of the information flow paths not existing in the system and minimize the size of the IFG and the workload of information flow analysis.
Keywords :
data flow graphs; PDG; construct information flow graph; information flow analysis; information flow paths; program dependence graph; Computer science; Computer security; Flow graphs; Information analysis; Information security; Paper technology; information flow graph; program dependence graph; transitive dependence;
Conference_Titel :
Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-3746-7
DOI :
10.1109/ISCSCT.2008.309