Remarks about roles and entitlements
Résumé
We introduce an hybrid access control model where abstract pairs consisting of objects and access rights are considered. In this model, an access control matrix is a binary relation of permission between subjects and abstract pairs. Treating sets of subjects as instances of a concept called role and sets of abstract pairs as instances of a concept called entitlement, we introduce in each matrix the binary relations of existential permission and universal permission between roles and entitlements, we analyse their properties, we present the duality between subjects and abstract pairs on one hand and roles and entitlements on the other hand, we extend this duality to the setting with obligations and we demonstrate how this duality is useful by proving the completeness of a propositional modal logic for permissions and obligations.
Nous introduisons un modèle hybride de contrôle d’accès dans lequel des paires abstraites constituées d’objets et de droits d’accès sont considérés. Dans ce modèle, une matrice de contrôle d’accès est une relation binaire de permission entre sujets et paires abstraites. Traitant les ensembles de sujets comme les instances d’un concept appelé rôle et les ensembles de paires abstraites comme les instances d’un concept appelé autorisation, nous introduisons dans chaque matrice les relations binaires de permission existentielle et de permission universelle entre rôles et autorisations, nous analysons leurs propriétés, nous présentons la dualité entre sujets et paires abstraites d’une part et rôles et autorisations d’autre part, nous étendons cette dualité au modèle avec obligations et nous démontrons comment cette dualité est utile en prouvant la complétude d’une logique modale propositionnelle pour permissions et obligations.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|