Analyse de Programmes Malveillants par Abstraction de Comportements

摘要: L'analyse comportementale traditionnelle opere en general au niveau de l'implantation du comportement malveillant. Pourtant, elle s'interesse surtout a l'identification d'un donne, independamment sa mise œuvre technique, et se situe donc plus naturellement un fonctionnel. Dans cette these, nous definissons une forme d'analyse programmes qui non pas sur les interactions elementaires programme avec le systeme mais la fonction que realise. Cette est extraite des traces programme, procede appelons abstraction. Nous facon simple, intuitive formelle fonctionnalites base abstraire comportements detecter, puis proposons mecanisme d'abstraction applicable cadre statique ou dynamique, algorithmes pratiques complexite raisonnable, enfin decrivons technique integrant ce d'abstraction. Notre methode particulierement adaptee l'analyse dans langages haut dont code source connu, pour lesquels facilitee : concus machines virtuelles comme Java .NET, scripts Web, extensions navigateurs, composants off-the-shelf. Le formalisme par abstraction repose theorie reecriture mots termes, reguliers termes model checking. Il permet d'identifier efficacement ainsi d'obtenir representation fonctionnel ; il definit naturelle, l'aide formules logique temporelle, garantit leur simplicite flexibilite l'utilisation techniques checking detection ces ensemble quelconque d'execution prend compte flux donnees permet, sans perte d'efficacite, tenir l'incertitude fonctionnalites. validons nos resultats d'experiences, menees codes malicieux existants, sont obtenues soit instrumentation binaire analyse statique.