Add to ORKGThe 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
In this paper we model and test a Dynamic Ontology based Role-Based Access Control (DO-RBAC) model. ...
A new characterization of the deontic operators of permission and prohibition is introduced based on...
In this paper we shall give a short (and incomplete) historic overview of the branch of modal logic ...
Abstract. Making correct access-control decisions is central to security, which in turn requires acc...
The access-control logic of Lampson, Abadi, and their colleagues [LABW92, ABLP93] makes it possible ...
The access-control logic of Lampson, Abadi, and their colleagues [LABW92, ABLP93] makes it possible ...
International audienceConstraints in access control models are used to organize access privileges in...
This paper proposes a logic based framework that supports dynamic delegation for role based access c...
In this presentation I first review new developments of deontic logic in computer science, then I di...
article describes a formal semantics for the deontic concepts-- the concepts of permission and oblig...
Role-Based Access Control (RBAC) has been recognized as a strategy which reduces the cost and comple...
Authorization policies provide access control to the system resource. This paper proposes a formal m...
International audienceSince its formalization RBAC has become the yardstick for the evaluation of ac...
Abstract This article introduces a family of reference models for role-based access control (RBAC) i...
Abstract. To date, no methodical approach has been found to integrate multiple access control extens...
In this paper we model and test a Dynamic Ontology based Role-Based Access Control (DO-RBAC) model. ...
A new characterization of the deontic operators of permission and prohibition is introduced based on...
In this paper we shall give a short (and incomplete) historic overview of the branch of modal logic ...
Abstract. Making correct access-control decisions is central to security, which in turn requires acc...
The access-control logic of Lampson, Abadi, and their colleagues [LABW92, ABLP93] makes it possible ...
The access-control logic of Lampson, Abadi, and their colleagues [LABW92, ABLP93] makes it possible ...
International audienceConstraints in access control models are used to organize access privileges in...
This paper proposes a logic based framework that supports dynamic delegation for role based access c...
In this presentation I first review new developments of deontic logic in computer science, then I di...
article describes a formal semantics for the deontic concepts-- the concepts of permission and oblig...
Role-Based Access Control (RBAC) has been recognized as a strategy which reduces the cost and comple...
Authorization policies provide access control to the system resource. This paper proposes a formal m...
International audienceSince its formalization RBAC has become the yardstick for the evaluation of ac...
Abstract This article introduces a family of reference models for role-based access control (RBAC) i...
Abstract. To date, no methodical approach has been found to integrate multiple access control extens...
In this paper we model and test a Dynamic Ontology based Role-Based Access Control (DO-RBAC) model. ...
A new characterization of the deontic operators of permission and prohibition is introduced based on...
In this paper we shall give a short (and incomplete) historic overview of the branch of modal logic ...