1484 search results - page 13 / 297 » Security policies for downgrading |
DBSEC
2009
13 years 8 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
ACSAC
2005
IEEE
14 years 29 days ago
2005
IEEE
Coordinating multiple overlapping defense mechat differing levels of abstraction, is fraught with the potential for misconfiguration, so there is strong motivation to generate p...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
The ability to automatically compose security policies created by multiple organizations is fundamental to the development of scalable security systems. The diversity of policies ...
ESORICS
2000
Springer
13 years 11 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...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
