Détection d'intrusions et analyse passive de réseaux

Authors: Couture, Mathieu
Advisor: Ktari, Béchir
Abstract: Dans ce travail, nous proposons un nouveau langage dédié à la détection d'intrusions. Il s'agit d'un langage purement déclaratif, basé sur une logique temporelle linéaire passée avec prédicats du premier ordre. Après avoir effectué une revue de treize langages de détection d'intrusions existant déjà, nous donnons une liste de dix propriétés souhaitables pour un langage de détection d'intrusions. Contrairement au langage que nous proposons, aucun des langages étudiés ne présente à la fois ces dix propriétés. En plus d'être suffisamment expressif pour répondre aux besoins identifiés, il vient avec un algorithme de vérification qui s'exécute en temps linéaire avec la quantité d'information analysée et utilise une quantité bornée d'espace mémoire. Ces deux propriétés permettent de protéger le système de détection d'intrusions contre d'éventuelles attaques d'inondation.
Document Type: Mémoire de maîtrise
Issue Date: 2005
Open Access Date: 11 April 2018
Permalink: http://hdl.handle.net/20.500.11794/18059
Grantor: Université Laval
Collection:Thèses et mémoires

Files in this item:
SizeFormat 
22751.pdf938.87 kBAdobe PDFView/Open
All documents in CorpusUL are protected by Copyright Act of Canada.