Autor:

Kołaczek, Grzegorz

Współtwórca:

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

Tytuł:

Application of deontic logic in role-based access control

Tytuł publikacji grupowej:

AMCS, volume 12 (2002)

Temat i słowa kluczowe:

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.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

2002

Typ zasobu:

artykuł

Strony:

269-275

Źródło:

AMCS, volume 12, number 2 (2002) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego