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).

Formalizing Interactive Institution with Rba Calculus

Process Algebraic Model of Electronic Institution

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

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

An Implementation of BDI Model Based on Rule Reasoning

Extended Ambient Calculus Based Virtual Organization Modeling and Analyzing

Distributed Collaborating System Design Via Electronic Institutional Calculus

Using Pi-Calculus To Formalize Domain Administration Of Rbac

Representation and reasoning on RBAC: a description logic approach

Formal Modelling And Verifying Of Intellectualized Information Management System Using Event-B

Automating Verification of Event-B Models

Towards a bisimulation congruence for ROAM

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

A Comprehensive Formalization of AADL with Behavior Annex

Programming Method and Formalization for Activity-Oriented Context-Aware Applications

R&D Analyst: An Interactive Approach to Normative Decision System Model Construction

The Formal Foundations in RSL for UML Statechart Diagrams

Ravestate: Distributed Composition of a Causal-Specificity-Guided Interaction Policy

Intensionality of Modal Logic for Robust Ambient Calculus.

A Formal Calculus for International Relations Computation and Evaluation

Formalized Modeling of Intelligent Robot Systems