Modélisation et déploiement des politiques de sécurité

  • Huu Thanh Vu

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

Nous présentons dans ce mémoire une approche systématique pour modéliser et déployer des politiques de sécurité vers des composants dédiés et non-dédiés à la sécurité dans le réseau d’une organisation. Cette approche est basée sur l’architecture d’un système répondant aux menaces en intégrant la méthode formelle Event-B pour spécifier des politiques de sécurité et vérifier formellement leur propriétés, les technologies XML (eXtensible Markup Language) pour représenter des politiques de sécurité et les protocoles de la gestion et la configuration de réseau NETCONF (Network Configuration Protocol) et SNMP (Simple Network Management Protocol) pour déployer des règles de sécurité concrètes. Pour ce faire, le modèle de contrôle d’accès basé sur l’organisation Or-BAC (Organization Based Access Control) a été utilisé. Il a distingué la definition générique de la politique de son implémentation effective en fonction du contexte, pour la représentation des politiques de sécurité et leur fonctionnement.
Date de réussite2009
langueFrançais
Institution diplomante
  • Université de Namur
SuperviseurLaurent Schumacher (Promoteur) & Jean-Noël Colin (Promoteur)

mots-clés

  • politiques de sécurité
  • Or-BAC
  • Event-B
  • XML
  • NETCONF
  • SNMP

Citer ceci

Modélisation et déploiement des politiques de sécurité
Vu, H. T. (Auteur). 2009

Thèse de l'étudiant: Master typesMaster en sciences informatiques