What, Indeed, Is Intransitive Noninterference?

  title={What, Indeed, Is Intransitive Noninterference?},
  author={Ron van der Meyden},
This paper argues that Haigh and Young’s definition of noninterference for intransitive security policies admits information flows that are not in accordance with the intuitions it seeks to formalise. Several alternative definitions are discussed, which are shown to be equivalent to the classical definition of noninterference with respect to transitive policies. Rushby’s unwinding conditions for intransitive noninterference are shown to be sound and complete for one of these definitions… CONTINUE READING

From This Paper

Topics from this paper.
3 Citations
39 References
Similar Papers


Publications citing this paper.


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

Similar Papers

Loading similar papers…