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
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.
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

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

64

Files downloads

29