Information flow tree used to analyze information flows
Xiangmei Song · Journal of Jiangsu University · 2005
In order to solve the problem that covert channel identification still depends on the handwork to analyze the information flow in the statement, and based on the method for the identification of covert storage channels in source code, the statement information flow rules, an realizable information flow tree for describing information flows, the tree traversal algorithm for automated analysis, and an analyzing (exa-)mple used the source codes in VISTA spatial data base system are provided. The effectivity and accuracy of the tree structure and the analysis method are proved by examples.