Résumé:
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
