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.
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QQLA.2007/25012 |
| Date | 12 1900 |
| Creators | Cormier, Alexandre |
| Contributors | Ktari, Béchir |
| 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 | text/html, application/pdf |
| Rights | © Alexandre Cormier, 2007 |
Page generated in 0.0021 seconds