Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs

@article{Hammer2009FlowsensitiveCA,
  title={Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs},
  author={Christian Hammer and Gregor Snelting},
  journal={International Journal of Information Security},
  year={2009},
  volume={8},
  pages={399-422}
}
Information flow control (IFC) checks whether a program can leak secret data to public ports, or whether critical computations can be influenced from outside. But many IFC analyses are imprecise, as they are flow-insensitive, context-insensitive, or object-insensitive; resulting in false alarms. We argue that IFC must better exploit modern program analysis technology, and present an approach based on program dependence graphs (PDG). PDGs have been developed over the last 20 years as a standard… CONTINUE READING
Highly Influential
This paper has highly influenced 17 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 216 citations. REVIEW CITATIONS
129 Citations
69 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 129 extracted citations

217 Citations

02040'10'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 217 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 69 references

Interference control and unwinding

  • J. A. Goguen, J. Meseguer
  • Proc. Symposium on Security and Privacy, pp. 75…
  • 1984
Highly Influential
8 Excerpts

Similar Papers

Loading similar papers…