Specification and verification of constraints in role based access control

The paper presents a short overview of the foundations of the role-based access control modal and its properties. In particular, the problem of definition and verification of various types of constraints is analysed. The main benefit of the presented model is that it is based on the fundamental notions of both enterprise management and information systems access control. The other important value of the model is the possibility of automation of processes and implementation of mechanisms related to access control on the basis of logical automated reasoning and the PROLOG programming language.