Modèle hiérarchique de contrôle d'accès d'UNIX basé sur un graphe de rôles

Hierachical access control model for UNIX based on a graph of roles

• Auteur / Autrice : Abderrahim Ghadi
• Direction : Maurice Mignotte, Driss Mammass
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2010
• Etablissement(s) : Strasbourg en cotutelle avec Ibn Zohr - Maroc

Mots clés

Mots clés contrôlés

UNIX (système d'exploitation des ordinateurs)

Protection de l'information (informatique)

Réseaux d'ordinateurs -- Mesures de sûreté

Systèmes informatiques -- Mesures de sûreté

Ordinateurs -- Accès -- Contrôle

Théorie des graphes

LDAP (protocole de réseaux d'ordinateurs)

Résumé

En termes de contrôle d’accès, est-il possible de répondre à la question suivante : ''Le système de contrôle d’accès est-il décidable ?''. En d’autres termes ''Est-il vrai qu’à partir d’un état de protection sûr, nous pouvons dire à n’importe quel instant qu’il n’y a aucune intrusion qui mettra en péril notre système ?''. Afin de répondre à cette question, nous proposons la modélisation du système de contrôle d’accès sous forme de graphe de rôles. Les rôles, qui représentent les noeuds du graphe, contiennent selon, la politique de sécurité, un certain nombre de privilèges. Chaque privilège représente un ou plusieurs droits d’accès sur un objet donné. Nous avons présenté deux méthodes d’utilisation de ce graphe : La première consiste à utiliser un algorithme, que nous avons développé en se basant sur les algorithmes de la théorie des graphes, permettant de parcourir les chemins du graphe afin de trouver les transferts de privilèges illicites. La deuxième consiste à stocker notre graphe dans un annuaire LDAP, ceci nous amène à developper un nouveau schéma LDAP pour représenter notre graphe de rôles.

Concerning access control, can the following question be addressed : ''Is the access control system decidable ?''. In other words : is it true that starting from a safe state of protection, we can assume at any time that is no intrusion which will endanger our system ?. In order to answer this question, we propose to model the access control system in the form of a graph of roles. The roles, which represent the vertices of graph contain, according to the security-policy, certain number of privileges. Every privilege represents one or several access rights on a given object. We presented two methods of use of this graph : The first consists in using an algorithm, which we developed by basing itself on the algorithms of the theory of the graphs, permit to search all over the path of the graph in order to find illicit privilege transfer. The second consists in storing our graph in a directory LDAP, this which brings us to develop a new plan LDAP to represent our graph of roles.