14 search results - page 1 / 3 » What Is Intransitive Noninterference |
ESORICS
2007
Springer
13 years 10 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 ...
APLAS
2004
ACM
13 years 10 months ago
2004
ACM
POPL
2006
ACM
14 years 4 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
ESORICS
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...