VORON Jean-Baptiste

Docteur
Équipe : MoVe
Date de départ : 31/08/2010
https://lip6.fr/Jean-Baptiste.Voron

Direction de recherche : Fabrice KORDON

Construction automatique et particularisée de systèmes de détection d'intrusion pour les systèmes parallèles à l'aide de réseaux de Petri

La surveillance et la maintenance des systèmes informatiques entraînent des coûts prohibitifs; cela dû en grande partie à la complexité des applications actuelles ainsi qu’à leurs fréquentes mises à jour. Les administrateurs de tels systèmes ne peuvent donc pas répondre efficacement aux impératifs de sécurité si l'on considère le nombre élevé de failles à contrôler et l'incroyable sophistication et rapidité de propagation des attaques. Les systèmes de détection d'intrusion mettent en oeuvre un processus de surveillance et d’analyse des événements survenant sur un système, dans le but de découvrir des attaques ompromettant sa confidentialité, son intégrité ou sa disponibilité. En plus des problèmes caractéristiques tels que les taux de faux positifs et de faux négatifs lors de la phase de surveillance ou l’incapacité à détecter de nouvelles formes d’intrusions, d’autres limitations d’origine structurelle existent. Ainsi, rares sont les travaux qui traitent de la protection des applications fortement multi-threadées ou qui proposent une implémentation efficace des méthodes de détection proposées. L’objectif de cette thèse est de concevoir et de réaliser une solution qui construit automatiquement un système de surveillance dédié à un programme. Dans cette optique, nous proposons d’extraire, grâce à une analyse statique du code source du programme à surveiller, plusieurs modèles comportementaux exprimés en réseaux de Petri. Une fois réduits et assemblés, ces modèles peuvent être soumis aux techniques actuelles de vérification formelle et permettent finalement la génération automatique d’un système de surveillance dédié au programme initial.

Soutenance : 09/12/2009

Membres du jury :

Laure PETRUCCI (Université Paris XIII) [Rapporteur]
Jean GOUBAULT-LARRECQ (ENS Cachan) [Rapporteur]
Jean-Michel COUVREUR (Université d'Orléans)
Claude GIRAULT (Université Paris 6)
Liviu IFTODE (Rutgers University)
Pierre SENS (Université Paris 6)
Fabrice KORDON (Université Paris 6)

Date de départ : 31/08/2010

Publications 2007-2010

Mentions légales
Carte du site