The last decades have seen a growing interest and demand for community-centered
collaborative systems and platforms. These systems and platforms aim to provide an …

Recently, there has been considerable interest in attribute-based access control (ABAC) to
overcome the limitations of the classical access control models (ie, discretionary-DAC …

Attribute-based access control (ABAC) models are widely used to provide fine-grained and
adaptable authorization based on the attributes of users, resources, and other relevant …

Risk-based access control systems are a new element in access control categories,
incorporating risk analysis as part of the inputs to consider when taking an authorization …

Automated techniques for the security analysis of Role-Based Access Control (RBAC)
access control policies are crucial for their design and maintenance. The definition of …

Current techniques for security analysis of administrative role-based access control
(ARBAC) policies restrict themselves to the separate administration assumption that …

The existing modeling and verification methods for embedded software are insufficient
towards the increasingly prominent security requirements. In this paper, aiming at high …

We propose a novel scheme for proving administrative role-based access control (ARBAC)
policies correct with respect to security properties using the powerful abstraction-based tools …

IT systems with sophisticated security requirements increasingly apply problem-specific
security policies for specifying, analyzing, and implementing security properties. Due to their …

In large organizations, access control policies are managed by multiple users
(administrators). An administrative policy specifies how each user in an enterprise may …