Secure Information Flow Based on Data Flow Analysis
Year: 2007
Journal of Information and Computing Science, Vol. 2 (2007), Iss. 4 : pp. 252–260
Abstract
The static analysis of secure information flow has been studied for many years. The existing methods tend to be overly conservative or to be overly attention to location information leak. This paper uses data flow analysis to deal with secure information flow. Two variables of dynamic update security levels were introduced. The program is secure without any variable of downgrade security level at exit of a program. The analysis can deal with more secure programs. The soundness of the analysis is proved.
Journal Article Details
Publisher Name: Global Science Press
Language: English
DOI: https://doi.org/2024-JICS-22787
Journal of Information and Computing Science, Vol. 2 (2007), Iss. 4 : pp. 252–260
Published online: 2007-01
AMS Subject Headings:
Copyright: COPYRIGHT: © Global Science Press
Pages: 9