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

Type de document :
Communication dans un congrès
AVOCS 2018 - 18th International Workshop on Automated Verification of Critical Systems, Jul 2018, Oxford, United Kingdom. 2018, Proceedings of the International Workshop on Automated Verification of Critical Systems
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 : lundi 10 décembre 2018 - 17:59:16

Identifiants

  • HAL Id : hal-01892423, version 1

Collections

Citation

Nicolas Schnepf, Rémi Badonnel, Abdelkader Lahmadi, Stephan Merz. Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks. AVOCS 2018 - 18th International Workshop on Automated Verification of Critical Systems, Jul 2018, Oxford, United Kingdom. 2018, Proceedings of the International Workshop on Automated Verification of Critical Systems. 〈hal-01892423〉

Partager

Métriques

Consultations de la notice

77