Outils pour la rétro-conception de protocoles. Analyse et classification

Abstract

La retro-conception de protocoles de communication consiste a developper des methodes et outils permettant d’inferer un modele de ce protocole. Elle est utilisee dans de nombreux domaines d’application, allant de l’interoperabilite a l’audit de securite. Durant les douze dernieres annees, de nombreux outils ont ete developpes pour automatiser tout ou partie de l’inference de protocole. Ils s’aident de differentes techniques, que les auteurs choisissent et adaptent en fonction du but final de leur retro-conception. Le but de cet article est de presenter un etat de l’art de ces differents outils, en essayant de degager les grandes familles de techniques utilisees jusqu’a ce jour.