Review of Modeling and Evaluating Secure Information Flow
Lihua Yin · IEEE Software · 2012
One critical characteristics of attacking information systems is to illegally leak and modify information during information flows.So it is necessary to analyze the security of information flow.In this paper,secure information flow are reviewed.First,a classification of secure information flows is presented.Then each class is illustrated in detail,and its evaluation is summarized.Finally the future research topics are discussed.