329 search results - page 1 / 66 » A Theory of Secure Control Flow |
ICFEM
2005
Springer
13 years 10 months ago
2005
Springer
ACSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
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...
SACMAT
2003
ACM
13 years 10 months ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC�...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...