14:00
17:00

Aujourd’hui, les entreprises adoptent massivement le paradigme NFV (Virtualisation des Fonctions Réseau) pour déployer, maintenir et faire évoluer leurs services réseau, de manière automatisée, dynamique et flexible.
La NFV prône l’implémentation des fonctions réseau physiques telles que les routeurs, et les pare-feux sous forme d’instances logicielles pouvant s’exécuter dans des serveurs standards.
Avec cette approche, plusieurs entreprises délogent leurs fonctions réseau de leurs salles serveur pour les externaliser vers le cloud. Ainsi, elles profitent des énormes avantages du cloud computing qui incluent la haute disponibilité, la flexibilité et la résilience.
Cependant, le manque de confiance des entreprises envers le cloud inhibe l’adoption de l’externalisation des services réseau vers le cloud. Par exemple, un fournisseur cloud malhonnête peut déployer le service réseau d’une entreprise avec une quantité de ressources inférieure à celle requise, et occulter cette violation en raison de l’opacité du cloud. De plus, la pile logicielle du cloud étant complexe par nature, le risque d’occurrence d’erreurs de configuration sur les services réseau reste important. Ainsi, les entreprises qui externalisent leurs services réseau vers le cloud manquent de garanties quant à la conformité de leurs services réseau par rapport à leurs spécifications. Ainsi, une adoption à large échelle de l’externalisation des services réseau vers le cloud requiert avant tout de résoudre cette problématique de confiance entre les entreprises et le cloud.

Cette thèse soutient l’idée que la vérification de service réseau reste la réponse pertinente pour augmenter la confiance qu’ont les entreprises envers le cloud. L’objectif de cette thèse est d’étudier les anomalies de services potentielles dans NFV et de proposer des mécanismes de vérification pour détecter ces anomalies. Premièrement, cette thèse présente une taxonomie des anomalies de service réseau dans NFV ainsi qu'un examen de leurs méthodes de vérification. Ensuite, nous présentons VeriNeS, un système de vérification qui observe et analyse le comportement de l'Orchestrateur NFV pour détecter des anomalies de service réseau.

Amphi LaBRI