309 search results - page 18 / 62 » A Type System for Expressive Security Policies |
DBSEC
2000
13 years 9 months ago
2000
With the increasing complexity and dynamics of database and information systems, it becomes more and more di cult for administrative personnel to identify, specify and enforce sec...
TISSEC
2010
13 years 2 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
PET
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...