124 search results - page 1 / 25 » Synthesising verified access control systems in XACML |
CCS
2004
ACM
13 years 8 months ago
2004
ACM
JCS
2008
13 years 4 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
STTT
2008
13 years 4 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
SACMAT
2009
ACM
13 years 11 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
COMPSAC
2007
IEEE
13 years 8 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...