Mémoires de Fin d’Etudes
Etablissement
Université de Béjaia - Abderrahmane Mira
Affiliation
Département d’Informatique
Auteur
KHAMADJA, Salim
Directeur de thèse
Adi Kamel
Filière
Informatique
Diplôme
Doctorat
Titre
Cadre formel pour l’analyse des politiques de sécurité dans les systèmes de contrôle d’accès
Mots clés
politique de contrôle d’accès, failles, vérification formelle, évaluation du risque
Résumé
L’objectif principal de ce projet de recherche est de définir un cadre formel pour la vérification des politiques de contrôles d’accès dans les systèmes informatique. Plus précisément, le projet nous permettra de concevoir des techniques de vérification dans le but de détecter les anomalie qui peuvent affecter ces politique. Ces anomalies peuvent être des inconsistances entre les différents énoncés de la politique de sécurité, de la redondance entre énoncés, etc.
Statut
Validé