Dépôt institutionnel de l'UQO
RECHERCHER

Un système de types pour l'analyse des pare-feux

El Kabbal, Adnane (2005). Un système de types pour l'analyse des pare-feux. Mémoire. Gatineau, Université du Québec en Outaouais, Département d'informatique et d'ingénierie, 77 p.

Le plein texte n'est pas disponible pour ce document.

Résumé

Ce travail de recherche vise à proposer des réponses à certaines questions relatives aux domaines de la spécification et de l'analyse des pare-feux. Pour ce faire, nous avons consacré la première partie de ce mémoire pour la présentation d'un langage qui peut être utilisé pour exprimer, d'une façon simple, des politiques de sécurité, et nous avons illustré sa syntaxe à travers un exemple de spécification. La deuxième partie de ce travail, nous a permis de ramener la détection d'anomalies dans les pare-feux à un problème de typage où le type représente les conflits potentiels entre les règles d'un pare-feu. Le système de types que nous proposons apporte une contribution novatrice par rapport aux techniques existantes au moins sur les points suivants: - Notre technique est plus précise dans le sens qu'elle permet de détecter des anomalies pouvant impliquer plus que deux règles, comme c'est le cas dans les travaux existants. En effet, notre analyse peut arriver à la conclusion qu'un ensemble de règles E¹ est en contradiction avec un ensemble de règles E² par exemple. – L'algorithme d'inférence de types qui mécanise le système de types est très efficace puisqu'il minimise le nombre de comparaisons entre les règles. Ce qui se traduit par une nette diminution des coûts d'analyse des pare-feux.

Type de document: Thèse (Mémoire)
Directeur de mémoire/thèse: Adi, Kamel
Informations complémentaires: Bibliothèque L.-Brault QA76.9 A25 E45.2005 Bibliogr. : p.[76]-77
Mots-clés libres: Pare-feu; Firewall; Filtre; Sécurité; Coupe-feu; Protection informatique; Système de types
Départements et école, unités de recherche et services: Informatique et ingénierie
Date de dépôt: 10 déc. 2012 21:23
Dernière modification: 05 août 2013 15:31
URI: http://di.uqo.ca/id/eprint/264

Actions (Identification requise)

Dernière vérification avant le dépôt Dernière vérification avant le dépôt