Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks

Nicolas Schnepf 1, 2 Remi Badonnel 1 Abdelkader Lahmadi 1 Stephan Merz 2
1 MADYNES - Management of dynamic networks and services
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01892423
Contributeur : Rémi Badonnel <>
Soumis le : mercredi 10 octobre 2018 - 15:56:10
Dernière modification le : vendredi 12 octobre 2018 - 01:01:38

Identifiants

  • HAL Id : hal-01892423, version 1

Citation

Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz. Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks. Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. 〈hal-01892423〉

Partager

Métriques

Consultations de la notice

14