La gestion des conflits dans le contrôle d’accès.

Abstract

Le but de ce travail est de définir une politique de gestion de conflits afin d'augmenter l'efficacité du modèle OrBAC (Organization Based Access Control). L'idée principale est d'attribuer au modèle lui-même, un ensemble de règles pouvant aider le système dans le cas d'un conflit de trancher en donnant des priorités aux permissions et interdictions. Afin de rendre la politique de gestion de conflits plus efficace, nous proposons de résoudre le conflit au niveau abstrait, pour qu'ils ne se répercutent pas sur le niveau concret. Notre politique sera formalisée avec un langage formel, à savoir, la logique de description non monotone, ceci est dû à tous ces avantages tels que l'expressivité, la décidabilité... Mots clés : Modèle de contrôle d'accès OrBAC, logique de description non monotone.