(English version below)

Nicolas Schnepf soutiendra le lundi 30 septembre à 14h00 en salle A008, au Loria. Elle aura lieu en français.

Intitulé : “Orchestration et vérification de fonctions de sécurité pour des environnements intelligents”

Rapporteurs :
Christine Choppy, Professeur, Université Paris 13
Stephano Secci, Professeur, Université Paris 6

Examinateurs :
Sandrine Vaton, Professeur, Université Bretagne-Loire
François Charoy, Professeur, Université de Lorraine

Directeurs de thèse :
Stephan Merz, Professeur, INRIA Nancy
Rémi Badonnel, Maître de conférences, Université de Lorraine

Résumé :

Les équipements intelligents, notamment les smartphones, sont la cible de nombreuses attaques de sécurité. Par ailleurs, la mise en oeuvre de mécanismes de protection usuels est souvent inadaptée du fait de leurs ressources fortement contraintes. Dans ce contexte, nous proposons d’utiliser des chaînes de fonctions de sécurité qui sont composées de plusieurs services de sécurité, tels que des pare-feux ou des antivirus, automatiquement configurés et déployés dans le réseau. Cependant, ces chaînes sont connues pour être difficiles à valider. Cette difficulté est causée par la complexité de ces compositions qui impliquent des centaines, voire des milliers de règles de configuration.

Dans cette thèse, nous proposons l’architecture d’un orchestrateur exploitant la programmabilité des réseaux pour automatiser la configuration et le déploiement de chaînes de fonctions de sécurité. Il est important que ces chaînes de sécurité soient correctes afin de éviter l’introduction de failles de sécurité dans le réseau. Aussi, notre orchestrateur repose sur des méthodes automatiques de vérification et de synthèse, encore appelées méthodes formelles, pour assurer la correction des chaînes. Notre travail appréhende également l’optimisation du déploiement des chaînes dans le réseau, afin de préserver ses ressources et sa qualité de service.

_______________

Nicolas Schnepf  will defend his thesis on Monday September 30 at 14h00 in room A008, LORIA. The defense will be in French.

Ph.D. thesis entitled : “Orchestration and verification of security functions for smart environments”

Referees:
Christine Choppy, Professor, University Paris 13
Stephano Secci, Professor, University Paris 6

Examiners:
Sandrine Vaton, Professeur, University of Bretagne-Loire
François Charoy, Professeur, University of Lorraine

Advisors:
Stephan Merz, Professor, INRIA Nancy
Rémi Badonnel, Assistant professor, University of Lorraine

Abstract:

Smart environments, in particular smartphones, are the target of multiple security attacks. Moreover, the deployment of traditional security mechanisms is often inadequate due to their highly constrained resources. In that context, we propose to use chains of security functions which are composed of several security services, such as firewalls or antivirus, automatically configured and deployed in the network. Chains of security functions are known as being error prone and hard to validate. This difficulty is caused by the complexity of these constructs that involve hundreds and even thousands of configuration rules.

In this PhD thesis, we propose the architecture of an orchestrator, exploiting the programmability brought by software defined networking, for the automated configuration and deployment of chains of security functions. It is important to automatically insure that these security chains are correct, before their deployment in order to avoid the introduction of security breaches in the network. To do so, our orchestrator relies on methods of automated verification and synthesis, also known as formal methods, to ensure the correctness of the chains. Our work also consider the optimization of the deployment of chains of security functions in the network, in order to maintain its resources and quality of service.