Les pare-feu sont des éléments cruciaux pour le renforcement de la politique de
sécurité d’un réseau. Ils ont été largement déployés pour sécuriser les réseaux privés,
mais leur configuration reste complexe et sujette de plusieurs anomalies. Au cours des
dernières années, plusieurs techniques et outils ont été proposés pour configurer correctement
un pare-feu. Cependant, la plupart de ces techniques restent informelles et
ne prennent pas en compte la performance globale du réseau ou d’autres paramètres
de qualités de services. Dans ce mémoire, nous introduisons une approche formelle permettant
de configurer optimalement et formellement un réseau de sorte qu’il respecte
une politique de sécurité donnée tout en tenant compte de ses qualités de services. / Firewalls are crucial elements in enforcing network security policies. They have been
widely deployed for securing private networks but, their configuration remains complex
and error prone. During the last years, many techniques and tools have been proposed
to correctly configure firewalls. However, most of existing works are informal and do
not take into account the global performance of the network or other qualities of its
services (QoS). In this thesis we introduce a formal approach allowing to formally and
optimally configure a network so that a given security policy is respected and by taking
into account the QoS.
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QQLA.2010/27543 |
| Date | 11 1900 |
| Creators | Fall, Marfall N'Diaga |
| Contributors | Mejri, Mohamed |
| Publisher | Université Laval |
| Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
| Language | French |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation |
| Format | application/pdf |
| Rights | © Marfall N'Diaga Fall, 2010 |
Page generated in 0.0032 seconds