1 search results - page 1 / 1 » The Ipurge Unwinding Theorem for CSP Noninterference Securit... |
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...