Modélisaton et sécurité des réseaux

Authors: Cormier, Alexandre
Advisor: Ktari, Béchir
Abstract: L'avènement d'Internet révolutionne l'accès à l'information, mais contribue également à l'essor de nouveaux services, notamment le commerce électronique, à l'allègement de la bureaucratie et à l'arrivée d'une multitude de e-services. Or, le développement de cette technologie de l'information s'est accompagné d'une panoplie de problématiques. Parmi celles-ci, les plus inquiétantes ont trait à la sécurité puisqu'elles mettent en péril le bon fonctionnement de ces services. Le présent mémoire approfondit ces problématiques de sécurité selon une approche formelle : les algèbres de processus. Dans un premier temps, le fruit de la recherche sur les failles de sécurité réseau de niveau deux et trois de la couche TCP/IP et d'une étude comparative de l'expressivité des principales algèbres de processus est présenté. Dans un second temps, les caractéristiques souhaitées d'une algèbre de modélisation de réseau sont mises en exergue et sont intégrées dans la syntaxe et la sémantique d'une nouvelle algèbre. Finalement, une nouvelle algèbre de processus pour la modélisation de réseau, Netcal, ainsi que les principes d'un système de détection de failles d'architecture et de configuration de réseau sont explicités.
Document Type: Mémoire de maîtrise
Issue Date: 2007
Open Access Date: 13 April 2018
Permalink: http://hdl.handle.net/20.500.11794/19729
Grantor: Université Laval
Collection:Thèses et mémoires

Files in this item:
SizeFormat 
25012.pdf724.93 kBAdobe PDFView/Open
All documents in CorpusUL are protected by Copyright Act of Canada.