Provably Correct Runtime Enforcement of Non-interference Properties

  title={Provably Correct Runtime Enforcement of Non-interference Properties},
  author={V. N. Venkatakrishnan and Wei Xu and Daniel C. DuVarney and R. Sekar},
Non-interference has become the standard criterion for ensuring confidentiality of sensitive data in the information flow literature. However, application of non-interference to software systems has been limited in practice. This is partly due to the imprecision that is inherent in static analyses that have formed the basis of previous non-interference based techniques. Runtime approaches can be significantly more accurate than static analysis, and have been more successful in practical systems… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS


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

51 Citations

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

See our FAQ for additional information.


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

Similar Papers

Loading similar papers…