Un environnement pour la modélisation des systèmes de contrôle d'accès

Maboudou, Bone (2015). Un environnement pour la modélisation des systèmes de contrôle d'accès. Mémoire. Gatineau, Université du Québec en Outaouais, Département d'informatique et d'ingénierie, 197 p.

Prévisualisation

PDF Télécharger (2MB) | Prévisualisation

Résumé

Le contrôle d’accès est une composante essentielle pour la sécurisation de tout système informatique et plusieurs modèles de contrôle d’accès ont été proposés dans la littérature. L’objectif étant d’exprimer de manière simple et naturelle les exigences de sécurité en termes de contrôle d’accès des utilisateurs aux ressources critiques d’un système.
Cependant, de nos jours, ces modèles dits universels ont montré leurs limites pour capturer les besoins des grandes organisations et il n’est pas rare qu’une organisation élabore son propre modèle comme une hybridation de différentes composantes des modèles standards.
Dans ce mémoire nous nous proposons d’élaborer un cadre formel et pratique pour la spécification et la validation de systèmes de contrôle d’accès hybrides.
En particulier, nous nous pro posons d’élaborer une méthodologie pour spécifier des modèles de contrôle d’accès, par raffinement successif, à l’aide de notation proche de UML.
Les spécifications sont ensuite automatiquement traduites en notation formelle B-événementiel afin de prouver formellement des propriétés de modèles.

Type de document:	Thèse (Mémoire)
Directeur de mémoire/thèse:	Adi, Kamel
Co-directeurs de mémoire/thèse:	Logrippo, Luigi
Informations complémentaires:	Comprend des références bibliographiques : p. 195-197
Mots-clés libres:	Ordinateurs; Accès; Contrôle; Réseaux d'ordinateurs; Sécurité informatique
Départements et école, unités de recherche et services:	Informatique et ingénierie
Date de dépôt:	19 févr. 2015 20:44
Dernière modification:	09 mars 2015 15:57
URI:	https://di.uqo.ca/id/eprint/724

Gestion Actions (Identification requise)

Dernière vérification avant le dépôt