Sécurisation formelle et optimisée de réseaux informatiques

Authors: Fall, Marfall N'Diaga
Advisor: Mejri, Mohamed
Abstract: 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.
Document Type: Mémoire de maîtrise
Issue Date: 2010
Open Access Date: 16 April 2018
Permalink: http://hdl.handle.net/20.500.11794/21590
Grantor: Université Laval
Collection:Thèses et mémoires

Files in this item:
Description SizeFormat 
27543.pdfTexte1.6 MBAdobe PDFThumbnail
All documents in CorpusUL are protected by Copyright Act of Canada.