What is intransitive noninterference?
- 20 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1, 228-238
- https://doi.org/10.1109/csfw.1999.779776
Abstract
The term "intransitive noninterference" refers to the information flow properties required of systems like down-graders, in which it may be legitimate for information to flow indirectly between two users but not directly. We examine the usual definition of this property in terms of a modified purge function, and show that this is a distinctly weaker property than an alternative we derive from considerations of determinism.Keywords
This publication has 8 references indexed in Scilit:
- CSP and determinism in security modellingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Absorbing covers and intransitive non-interferencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Non-interference through determinism*Journal of Computer Security, 1996
- A Classification of Security Properties for Process Algebras1Journal of Computer Security, 1995
- Proving Noninterference and Functional Correctness Using TracesJournal of Computer Security, 1992
- Extending The Non-Interference Version Of MLS For SatPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Unwinding and Inference ControlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982