Dans ce travail, nous définissons une nouvelle algèbre de processus basée sur CCS. Cette
algèbre, qui est destinée à la sécurisation formelle de réseaux, est munie d’un opérateur
de surveillance qui permet de contrôler les entrées et les sorties d’un processus, ou d’un
sous-processus, à l’image d’un pare-feu dans un réseau informatique. L’algèbre permet
donc de modéliser des réseaux munis de moniteurs, et également, n’importe quel système
communicant devant être contrôlé par des moniteurs. Avant d’entrer dans le vif du sujet,
nous débutons par une revue des approches globales en détection d’intrusions, soient
l’approche comportementale et l’approche par scénarios. Nous parcourons par la suite
différents langages formels destinés à la modélisation de systèmes communicants, en
prêtant une attention particulière aux algèbres de processus.
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QQLA.2006/23379 |
| Date | 02 1900 |
| Creators | Lacasse, Alexandre |
| Contributors | Mejri, Mohamed, 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 | application/pdf |
| Rights | © Alexandre Lacasse, 2006 |
Page generated in 0.0017 seconds