A Formal Perspective on Relation Based Access Control

Artale, Alessandro and Crispo, Bruno and Giunchiglia, Fausto and Zhang, Rui (2009) A Formal Perspective on Relation Based Access Control. UNSPECIFIED. (Submitted)

Download (305Kb) | Preview


    Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to formalize typical access control policies with Description Logics. Important security properties, i.e., Separation of Duties (SoD) and ChineseWall constraints are studied and formally represented in RelBAC with the expressive DL ALCQIBO. To meet the needs of automated tools for administrators, RelBAC can formalize and answer queries about access control requests and administrative checks resorting to the reasoning services of the underlying Description Logic.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA076 Computer software
    Additional Information: Submitted to CaiSe10
    Report Number: DISI-09-069
    Repository staff approval on: 20 Jan 2010

    Actions (login required)

    View Item