DocumentCode
2994986
Title
What is intransitive noninterference?
Author
Roscoe, A.W. ; Goldsmith, M.H.
Author_Institution
Comput. Lab., Oxford Univ., UK
fYear
1999
fDate
1999
Firstpage
228
Lastpage
238
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 1999. Proceedings of the 12th IEEE
Conference_Location
Mordano
ISSN
1063-6900
Print_ISBN
0-7695-0201-6
Type
conf
DOI
10.1109/CSFW.1999.779776
Filename
779776
Link To Document