Approche algébrique pour la prévention d'intrusions

Authors: Lacasse, Alexandre
Advisor: Mejri, MohamedKtari, Béchir
Abstract: 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.
Document Type: Mémoire de maîtrise
Issue Date: 2006
Open Access Date: 11 April 2018
Permalink: http://hdl.handle.net/20.500.11794/18243
Grantor: Université Laval
Collection:Thèses et mémoires

Files in this item:
SizeFormat 
23379.pdf689.58 kBAdobe PDFView/Open
All documents in CorpusUL are protected by Copyright Act of Canada.