128
click to vote
ESORICS
2007
Springer
16 years 2 days 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...