TITRE DU MÉMOIRE : Vérification et configuration automatiques de pare-feux par model checking et synthèse de contrôleur

PRÉSENTÉ PAR :  Mejda Moussa

JURY :

PRÉSIDENTE : Mme Martine Bellaîche;

DIRECTRICE DE RECHERCHE : Mme Hanifa Boucheneb;

CODIRECTEUR DE RECHERCHE : M. Steven Chamberland;

MEMBRE : M. Alejandro Quintero.

Entrée libre

Bienvenue à tous!