3 search results - page 1 / 1 » What, Indeed, Is Intransitive Noninterference |
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. 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...
CSFW
1999
IEEE
13 years 9 months ago
1999
IEEE
The term "intransitive noninterference" refers to the information flow properties required of systems like downgraders, in which it may be legitimate for information to ...
ESORICS
2008
Springer
13 years 6 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...