Title :
What is intransitive noninterference?
Author :
Roscoe, A.W. ; Goldsmith, M.H.
Author_Institution :
Comput. Lab., Oxford Univ., UK
Abstract :
The term “intransitive noninterference” refers to the information flow properties required of systems like downgraders, 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 :
data privacy; process algebra; security of data; data privacy; data security; determinism; downgraders; information flow; intransitive noninterference; modified purge function; process algebra; Algebra; Automation; Electrical capacitance tomography; Europe; Information security; Interference; Laboratories; Multilevel systems; Read only memory;
Conference_Titel :
Computer Security Foundations Workshop, 1999. Proceedings of the 12th IEEE
Conference_Location :
Mordano
Print_ISBN :
0-7695-0201-6
DOI :
10.1109/CSFW.1999.779776
