213 search results - page 1 / 43 » A formal security policy for xenon |
CCS
2008
ACM
13 years 6 months ago
2008
ACM
JCS
2002
13 years 4 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
IJNSEC
2010
12 years 11 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
ACSAC
1996
IEEE
13 years 9 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
ESORICS
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...