Sciweavers

Share
CSFW
1999
IEEE

What Is Intransitive Noninterference?

12 years 1 months ago
What Is Intransitive Noninterference?
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.
A. W. Roscoe, M. H. Goldsmith
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 1999
Where CSFW
Authors A. W. Roscoe, M. H. Goldsmith
Comments (0)
books