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 |