Creator:

Kołaczek, Grzegorz

Contributor:

Korbicz, Józef - red. ; Uciński, Dariusz - red.

Title:

Application of deontic logic in role-based access control

Group publication title:

AMCS, volume 12 (2002)

Subject and Keywords:

formal logic ; access control ; RBAC ; system security ; reasoning automation

Abstract:

The paper presents a short overview of the foundations of the Role-Based Access Control Modal Model and its properties. In particular, the translation of these model formulae to the first-order logic formulae in a form of Horn's clauses is analysed. The automation of processes and mechanisms related to access control on the basis of logical automated reasoning and the PROLOG language are described.

Publisher:

Zielona Góra: Uniwersytet Zielonogórski

Date:

2002

Resource Type:

artykuł

Pages:

269-275

Source:

AMCS, volume 12, number 2 (2002) ; click here to follow the link

Language:

eng

Rights:

Biblioteka Uniwersytetu Zielonogórskiego