Information Flow Analysis in Logical Form

  title={Information Flow Analysis in Logical Form},
  author={Torben Amtoft and Anindya Banerjee},
We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs than can be checked by extant type-based approaches in which a program is deemed insecure when it contains an insecure subprogram. The logic is based on an abstract interpretation of program traces that makes independence between program variables explicit. Unlike other, more precise, approaches based on a Hoare-like logic, our… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 96 citations. REVIEW CITATIONS
67 Citations
33 References
Similar Papers


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

96 Citations

Citations per Year
Semantic Scholar estimates that this publication has 96 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…