Soutenance de thèse de Jean-René Coffi

Voici un message de la part de Jean-René Coffi.
Bien cordialement,
Christophe

- - - - - - - - - - - - - - -
Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Adaptive complex event processing for critical infrastructure protection"
qui aura lieu le lundi 25 juin à 16h30, au Laboratoire d'Informatique de
Paris 6 (LIP6), Université Pierre et Marie Curie, dans la grande salle
de visioconférence (Bâtiment Atrium, RDC, couloir jaune, porte d'entrée
"2").

Vous y êtes cordialement invités ainsi qu'au pot qui suivra (et qui,
lui, aura lieu dans la salle 25-26-101).

Comment venir à l'UPMC : http://www.lip6.fr/informations/comment.php
puis trouver l'Atrium :
http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html

Jury :
- Alexander Artikis, Research Associate at the Institute of Informatics
& Telecommunications National Centre for Scientific Research
"Demokritos", rapporteur
- Bernadette Bouchon-Meunier, DR CNRS, UPMC-LIP6
- Anne Laurent, Professeur, LIRMM - université de Montpellier 2
- Christophe Marsala, Maître de Conférences, UPMC-LIP6, directeur de thèse
- Nicolas Museux, Ingénieur de recherche, THALES Research & Technology,
co-encadrant de thèse
- Christel Vrain, Professeur, LIFO - université d'Orléans, rapporteur


Résumé :
Protéger des infrastructures critiques comme des aéroports, des sources
d'énergie des bâtiments administratifs ou des lignes de transport, est
un défi majeur pour les gouvernements et les autorités locales. C'est un
processus difficile impliquant, entre autres, l'identification des biens
à protéger, les cibles possibles et les vulnérabilités de ces biens, la
reconnaissance des menaces potentielles qu'elles impliquent, les
ressources disponibles et le coût de leur déploiement comparé aux
dommages potentiels en cas d'attaque. Le but de ce processus est de
prendre les bonnes décisions en fonction des activités se produisant
dans l'environnement et du contexte local.

Nous proposons d'utiliser une architecture de traitement d'évènements -
basée sur des règles réactives - pour reconnaître les attaques en cours
à partir de la combinaison de différents signaux reçus par le moteur de
règles. Une fois ces signaux traités, une alerte est envoyée au
superviseur du système pour qu'une réaction appropriée soit menée.
Malgré tout, des erreurs de détection peuvent arriver pour diverses
raisons : la source du signal peut être défectueuse; les règles
d'agrégation peuvent être mal structurées ; finalement les règles
peuvent être incorrectes sémantiquement - parce que la connaissance du
concepteur de règles est subjective ou parce que l'environnement évolue
avec le temps. Deux de ces sujets sont abordés dans cette thèse: la
solidité structurelle d'un système de CEP, et l'adaptabilité des règles
face aux changements environnementaux et aux erreurs de conception.

Tout d'abord, afin d'améliorer la robustesse structurelle, nous voulons
détecter les incohérences dans un ensemble de règles. Nous proposons
donc une structure logique pour la description d'un système basé sur des
évènements qui nous permet de raisonner sur ces systèmes et de prédire
certains comportements à l'avance. Les principaux concepts dans notre
travail sont la détection des évènements sur des intervalles et la
décomposition de règles en sous-buts. Cette méthode permet également de
détecter les incohérences dans les suites de règles et vérifier à
l'exécution si une règle est toujours actionnable. Deuxièmement, nous
traitons de l'adaptabilité du système de règles. Nous présentons une
technique d'apprentissage automatique hybride, combinant un algorithme
de recherche de règles d'associations (ARM) avec de la programmation
logique inductive (ILP), afin de créer un système plus conforme à la
réalité du terrain. Des études empiriques, basées sur des simulations de
scénarios réels, permettent de démontrer comment notre méthode peut
contribuer sur des domaines sensibles tels que la sécurité d'un lieu
public ou semi-publics.
- - - - - - - - - - - - - - -