Non-Interference for Deterministic Interactive Programs

  title={Non-Interference for Deterministic Interactive Programs},
  author={David J Clark and Sebastian Hunt},
  booktitle={Formal Aspects in Security and Trust},
We consider the problem of defining an appropriate notion of noninterference (NI) for deterministic interactive programs. Previous work on the security of interactive programs by O’Neill, Clarkson and Chong (CSFW 2006) builds on earlier ideas due to Wittbold and Johnson (Symposium on Security and Privacy 1990), and argues for a notion of NI defined in terms… CONTINUE READING

1 Figure or Table



Citations per Year

58 Citations

Semantic Scholar estimates that this publication has 58 citations based on the available data.

See our FAQ for additional information.