Abstract:Role-Based Access Control (RBAC) has been recognized as a strategy which reduces the cost and complexity of security administration in large-scale networked applications. A general family of RBAC models called RBAC96 was proposed by Sandhu et al. [1], which formally deflnes the relations among user, role and permission using the notion of set membership. Constraints is an important aspect of RBAC, which impose restrictions on acceptable conflgurations of the difierent components of RBAC. Nevertheless, it was discussed informally in the RBAC96 model. There has been some efiorts to present a logical framework for the access control models. Most of these works are based on flrst-order logic or its extensions. However, excessively rich expressiveness may bring on complex computation and confusion. We present a novel formalization of RBAC using a description logic approach. Compared with flrst-order logic, DLs achieve a better tradeofi between the computational complexity of reasoning and the expressiveness of the language. We choose the DL language ALC to represent core and hierarchical RBAC, and ALCQ that extends ALC by qualifled number restrictions to express RBAC constraints, including separation of duty and role cardinality. Based on our logical framework it is feasible to reason about RBAC and check the consistency of RBAC with constraints via a DL reasoner(e.g. RACER).

A Dynamic Description Logic-Based Formalism for RBAC

A Dynamic Description Logic Approach to Extended RBAC Model

Design and Implementation of Context-Aware RBAC Model Based on Reasoning

A Task-Role Based Access Control Model with Multi-Constraints

Using Description Logic to Formalize Role-Based Access Control Model.

Representation for RBAC Model in Description Logic

Representation for RBAC model with description logic DL_(RBAC)

A Semantic and Trust Based Framework for Rbac User-Role Assignment

Ontology-Based RBAC specification for interoperation in distributed environment

Using Semantic Web Technologies to Specify Constraints of RBAC

An Architecture Approach To Dynamic Policy In Rbac

Using description logic to determine seniority among RB-RBAC authorization rules

Representation and reasoning on RBAC: a description logic approach

A Role-Based Access Control Model that Supports Authorization with The Combination of Static and Dynamic

An Extended RBAC Model Based on Granular Logic

Using Description Logics in Relation Based Access Control.

A Novel and Effective RBAC-Based Access Control Model in Flexible Information Coding System

UML Representation of RBAC Technology

Task-based Dynamic Constraint Relations among Roles

A CONSTRAINED RBAC MODEL SUPPORTING ROLE BIDIRECTIONAL INHERITANCE

RBAC based access control model for services compositions cross multiple enterprises