Skip to main navigation Skip to search Skip to main content

A dynamic description logic-based formalism for RBAC

  • Li Ma*
  • , Shilong Ma
  • , Jianghua Lv
  • , Yuefei Sui
  • *Corresponding author for this work
  • Beihang University
  • CAS - Institute of Computing Technology

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Applications in the open and dynamic environment become more intelligent and complicated. To secure these applications is a big challenge. RBAC model, as a de facto standard in access control field, is widely used in many applications. But the lack of dynamic and formal method to describe RBAC makes the model can't completely adapt to the open and dynamic environment. To solve this problem, we introduce a three level RBAC model which unifies the administrative components, the administrative actions and the regular RBAC components, and also proposes a dynamic description logic, called DDL RBAC, to formalize the three level model. Based on the formal description of RBAC with DDLRBAC, an executable action decision algorithm to guarantee the dynamic consistency of systems is also presented.

Original languageEnglish
Title of host publicationICCIT 2009 - 4th International Conference on Computer Sciences and Convergence Information Technology
Pages970-975
Number of pages6
DOIs
StatePublished - 2009
Event4th International Conference on Computer Sciences and Convergence Information Technology, ICCIT 2009 - Seoul, Korea, Republic of
Duration: 24 Nov 200926 Nov 2009

Publication series

NameICCIT 2009 - 4th International Conference on Computer Sciences and Convergence Information Technology

Conference

Conference4th International Conference on Computer Sciences and Convergence Information Technology, ICCIT 2009
Country/TerritoryKorea, Republic of
CitySeoul
Period24/11/0926/11/09

Keywords

  • Action
  • Dynamic description logic
  • Role-based access control

Fingerprint

Dive into the research topics of 'A dynamic description logic-based formalism for RBAC'. Together they form a unique fingerprint.

Cite this