Instruction-level security typing by abstract interpretation

  title={Instruction-level security typing by abstract interpretation},
  author={Nicoletta De Francesco and Luca Martini},
  journal={International Journal of Information Security},
We present a method based on abstract interpretation to check secure information flow in programs with dynamic structures where input and output channels are associated with security levels. In the concrete operational semantics each value is annotated by a security level dynamically taking into account both the explicit and the implicit information flows. We define a collecting semantics which associates with each program point the set of concrete states of the machine when the point is… CONTINUE READING


Publications citing this paper.
Showing 1-6 of 6 extracted citations

Enforcing Reactive Noninterference with Reachability Analysis

2011 Eighth International Conference on Information Technology: New Generations • 2011
View 7 Excerpts
Method Support
Highly Influenced

A new enforcement on declassification with reachability analysis

2011 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) • 2011