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

by Cormier, Alexandre

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.