GEOTRUST SSL CERTIFICATE
Titre : | Vérification et configuration de pare-feu par model checking. |
Auteurs : | Mr. ADJIR NOUREDINNE, Directeur de thèse ; Hocini Zohra, Auteur ; HAMADENE Imène, Auteur |
Type de document : | texte imprimé |
Editeur : | [S.l.] : Algèrie:unv saida-Dr Moulay Tahar, 2021-2022 |
Format : | 64p. / 29cm |
Accompagnement : | CD |
Note générale : | Bibliographie |
Langues: | Français |
Catégories : | |
Résumé : |
Les pares-feux jouent un rôle essentiel dans le renforcement des politiques de sécurité du réseau L'Internet.
Cependant, leur configuration nécessite généralement une intervention manuelle, Une source majeure de failles de sécurité. Par conséquent, des solutions automatisées sont nécessaires pour détecter les incohérences dans les configurations de pare-feu. Dans ce mémoire, nous proposons des approches d’aide a la configuration des pares-feux, Basé sur des techniques formelles telles que la vérification de modèle. Cette approche permet de vérifier automatiquement le fonctionnement du système en utilisant UPPAAL, un outil de modélisation et de vérification système en temps réel. |
Note de contenu : |
1-MECANISMES DE MODELISATION ET VERIFICATION FORMELLES.
2-SECURITE DES RESEAUX INFORMATIQUES. 3-MODELISATION Et VERIFICATION FORMELLES D’UN RESEAU INFORMATIQUE A PARE-FEUX |
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
TECT01835 | T.I.MS00648 | Périodique | Salle des Thèses | Informatique | Exclu du prêt |
Documents numériques (1)
Vérification et configuration de pare-feu par model checking. Adobe Acrobat PDF |