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.
- politiques de sécurité
- Or-BAC
- Event-B
- XML
- NETCONF
- SNMP
Modélisation et déploiement des politiques de sécurité
Vu, H. T. (Auteur). 2009
Student thesis: Master types › Master en sciences informatiques