3 search results - page 1 / 1 » esorics 1992 |
ESORICS
1992
Springer
14 years 3 months ago
1992
Springer
ESORICS
1992
Springer
14 years 3 months ago
1992
Springer
After a brief survey of the problems related to audit trail analysis and of some approaches to deal with them, the paper outlines the project ASAX which aims at providing an advanc...
ESORICS
2004
Springer
14 years 2 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...