Exploitation de la sémantique pour la rétro-conception automatisée de protocoles de communication.

Exploiting Semantic for the Automatic Reverse Engineering of Communication Protocols.

• Auteur / Autrice : Georges Bossert
• Direction : Ludovic Mé
• Type : Thèse de doctorat
• Discipline(s) : Informatique (STIC)
• Date : Soutenance le 17/12/2014
• Etablissement(s) : Supélec
• Ecole(s) doctorale(s) : École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes)
• Partenaire(s) de recherche : Laboratoire : CIDRE / INRIA - SUPELEC - SUPELEC-Campus Rennes
• Jury : Président / Présidente : François Bodin
• Jury : Examinateurs / Examinatrices : Colin de La Higuera, Hervé Debar, Frédéric Guihery, Benjamin Morin, Guillaume Hiet
• Jury : Rapporteurs / Rapporteuses : Christopher Krugel, Colin de La Higuera

Mots clés

Mots clés contrôlés

Protocoles de réseaux d'ordinateurs

Rétro-ingénierie (informatique)

Mots clés libres

Rétro-conception

Protocoles de communication

Sécurité

Inférence grammaticale

Apprentissage automatisé

Reverse Engineering

Communication Protocols

Security

Grammatical Inference

Machine learning

Résumé

Cette thèse propose une approche pratique pour la rétro-conception automatisée de protocoles de communication non-documentés. Les travaux existants dans ce domaine ne permettent qu'un apprentissage incomplet des spécifications ou exigent trop de stimulation de l'implémentation du protocol cible avec le risque d'être vaincu par des techniques de contre-inférence. Cette thèse adresse ces problématiques en s'appuyant sur la sémantique du protocole cible pour améliorer la qualité, la rapidité et la furtivité du processus d'inférence. Nous appliquons cette approche à la rétro-conception des deux principaux aspects de la définition d'un protocole à savoir l'inférence de sa syntaxe et de sa grammaire. Nous proposons un outil open-source, appelé Netzob, qui implémente nos contributions pour aider les experts en sécurité dans leur lutte contre les dernières menaces informatiques. Selons nos recherches, Netzob apparait comme l'outil publié le plus avancé pour la rétro-conception et la simulation de protocoles de communications non-documentés.

This thesis exposes a practical approach for the automatic reverse engineering of undocumented communication protocols. Current work in the field of automated protocol reverse engineering either infer incomplete protocol specifications or require too many stimulation of the targeted implementation with the risk of being defeated by counter-inference techniques. We propose to tackle these issues by leveraging the semantic of the protocol to improve the quality, the speed and the stealthiness of the inference process. This work covers the two main aspects of the protocol reverse engineering, the inference of its syntactical definition and of its grammatical definition. We propose an open-source tool, called Netzob, that implements our work to help security experts in their work against latest cyber-threats. We claim Netzob is the most advanced published tool that tackles issues related to the reverse engineering and the simulation of undocumented protocols.