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

DC FieldValueLanguage
dc.contributor.advisorMejri, Mohamed-
dc.contributor.authorFall, Marfall N'Diaga-
dc.date.accessioned2018-04-16T22:00:08Z-
dc.date.available2018-04-16T22:00:08Z-
dc.date.issued2010-
dc.identifier.other27543-
dc.identifier.urihttp://hdl.handle.net/20.500.11794/21590-
dc.description.abstractLes 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.fr
dc.description.abstractFirewalls 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.en
dc.format.extent111 p.-
dc.languagefre-
dc.subject.classificationQA 76.05 2010-
dc.titleSécurisation formelle et optimisée de réseaux informatiquesfr_CA
dc.typeCOAR1_1::Texte::Thèse::Mémoire de maîtrisefr
dc.date.updated2018-04-16T22:00:07Z-
dc.subject.rvmCoupe-feu (Sécurité informatique)fr_CA
dc.subject.rvmRéseaux d'ordinateurs -- Sécurité -- Mesuresfr_CA
dcterms.publisher.locationQuébec-
dc.identifier.bacTC-QQLA-27543-
bul.identifier.controlNumber716957890-
etdms.degree.nameMémoire. Informatiquefr_CA
etdms.degree.grantorUniversité Lavalfr_CA
Collection:Thèses et mémoires

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