Sciweavers

852 search results - page 26 / 171
» Model-Checking Access Control Policies
Sort
View
COMPSEC
2010
129views more  COMPSEC 2010»
14 years 11 months ago
Access control for smarter healthcare using policy spaces
Claudio Agostino Ardagna, Sabrina De Capitani di V...
SP
1997
IEEE
134views Security Privacy» more  SP 1997»
15 years 6 months ago
A Logical Language for Expressing Authorizations
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
Sushil Jajodia, Pierangela Samarati, V. S. Subrahm...
SUTC
2006
IEEE
15 years 8 months ago
The Computational Complexity of Enforceability Validation for Generic Access Control Rules
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
Vincent C. Hu, D. Richard Kuhn, David F. Ferraiolo
DBSEC
2006
122views Database» more  DBSEC 2006»
15 years 3 months ago
Term Rewriting for Access Control
We demonstrate how access control models and policies can be represented by using term rewriting systems, and how rewriting may be used for evaluating access requests and for provi...
Steve Barker, Maribel Fernández