Skip to Main content Skip to Navigation
Theses

Orchestration et vérification de fonctions de sécurité pour des environnements intelligents

Nicolas Schnepf 1, 2
1 RESIST - Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
Résumé : Les équipements intelligents, notamment les smartphones, sont la cible de nombreuses attaques de sécurité. Par ailleurs, la mise en œuvre 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 d’é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.
Complete list of metadatas

Cited literature [110 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-02351769
Contributor : Thèses Ul <>
Submitted on : Wednesday, November 6, 2019 - 3:17:11 PM
Last modification on : Thursday, November 7, 2019 - 1:30:03 AM
Document(s) archivé(s) le : Saturday, February 8, 2020 - 7:51:36 AM

File

DDOC_T_2019_0088_SCHNEPF.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02351769, version 1

Citation

Nicolas Schnepf. Orchestration et vérification de fonctions de sécurité pour des environnements intelligents. Réseaux et télécommunications [cs.NI]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0088⟩. ⟨tel-02351769⟩

Share

Metrics

Record views

156

Files downloads

135