Profils UML de spécification de politiques RBAC « Représentation graphique et cohérence »

Abstract

Dans ces dernières années, la définition de politiques de contrôle d’accès dès les premières étapes de cycle de développement logiciel est une préoccupation majeure. Le modèle RBAC (Role-Based Access Control) est le modèle de contrôle d’accès le plus adopté par les chercheurs et les industriels. UML est un langage standard de l’OMG utilisé pour l’analyse et la conception d’un système. Ce langage présente l’avantage de pouvoir se décliner sous forme de « profils » permettant l’extension de ces diagrammes pour spécifier un aspect particulier d’un système. Plusieurs travaux ont proposé des profils UML utiles pour la spécification des politiques de contrôle d’accès basées sur le modèle RBAC. Parmi ces profils nous pouvons citer : . SecureUML : qui étend le diagramme de classes. . BAAC@UML : qui étend le diagramme d’activités. Ce projet vise à étudier les profils UML de spécification de politiques RBAC notamment SecureUML et BAAC@UML . Nous proposons également la mise en oeuvre de ces profils dans outil permettant la représentation graphique de leurs modèles et la vérification de leur cohérence