371 search results - page 33 / 75 » On the Modeling of Bell-LaPadula Security Policies Using RBA... |
156
click to vote
CCS
2008
ACM
15 years 8 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, ...
176
click to vote
PET
2004
Springer
15 years 11 months 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...
141
click to vote
MODELS
2007
Springer
16 years 11 days 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...
145
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
: © Solving the Transitive Access Problem for the Services Oriented Architecture Alan H. Karp, Jun Li HP Laboratories HPL-2008-204R1 SOA, web services, access control, RBAC, PBAC,...
180
click to vote
ESORICS
1998
Springer
15 years 10 months ago
1998
Springer
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...