852 search results - page 32 / 171 » Model-Checking Access Control Policies |
132
click to vote
IWFM
2000
15 years 3 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
126
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
126
click to vote
POLICY
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a framework for representing and distributing access control policies in distributed heterogeneous systems. Access control polices follows the RBAC (Role Based...
106
click to vote
ACSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...
108
click to vote
ACSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract--Current Network Access Control (NAC) technologies manage the access of new devices into a network to prevent rogue devices from attacking network hosts or services. Typic...