. Le-calcul-du-parcours, etiqueter les sommets de T en commençant par les feuilles en remontant vers la racine selon le principe suivant. Pour tout sommet ? ? T tel que les sommets ?1, ?2 sont respectivementétiquetésrespectivementétiquetés par lesétatslesétats q 1 , q 2 ? Q Si a(q 1 , q 2 ) ? ? q est une r` egle de l'automate alors le sommet ? estétiquetéestétiqueté par l'´ etat q. Etant donné un automate fixé, le parcours sur un arbre t se calcule en temps linéaire 1 . Un arbre t est accepté par un automate d'arbres s'il existe un parcours tel que le sommet ? soitétiquetésoitétiqueté par unétatunétat final de Q f . Le langage reconnu par un automate d'arbres est constitué de l'ensemble des arbres acceptés par cet automate. Une propriété fondamentale est que tout automate d'arbres peutêtrepeutêtre transformé en un automate minimal en son nombre d'´ etats. Cet automate est minimal dans le sens ou tout automate reconnaissant le même langage comporte plus d'´ etats. Par conséquent, l'automate minimal constitue la meilleur représentation

. Concernant-le-thème, Enfin , le thème (c) a conduitàconduità un approfondissement en termes d'automate de graphes, l'objectifétantobjectifétant d'identifier les sous-graphes par le calcule d'un unique parcours d'automate . Une telle avancée réduira demanì ere conséquente le temps d'exécution du détecteur. 10.4 Conclusions axes de développement et la réécriture des graphes de flot de contrôle [BM08]. Enfin, le thème (c) a conduitàconduità un approfondissement en termes d'automate de graphes, l'objectifétantobjectifétant d'identifier les sous-graphes par le calcul d'un unique parcours d'au- tomate, nous comptons nous reposer sur les capacités du logiciel TOM

. Bibliographie, Lecture Notes in Computer Science « On abstract computer virology from a recursion-theoretic perspective », Advances in Cryptology ? CRYPTO'88, pp.96-99, 1988.

M. [. Bonfante and J. Kaczmarek, Marion ? « An implementation of morphological malware detection », 17th EICAR, Balland et P. Moreau ? « Term-graph rewriting via explicit paths Proceedings of the 19th Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science, p.117, 2008.

. [. Bruschi and L. Martignoni, Monga ? « Detecting selfmutating malware using control-flow graph matching, 0104.

. [. Cilibrasi, Vitanyi ? « Clustering by compression », Information Theory, IEEE Transactions on, vol.51, issue.4, pp.1523-1545, 2005.

D. Preda, M. Christodorescu, and S. Jha, Debray ? « A Semantics-Based Approach to Malware Detection », POPL'07, [DPY05] O. Drori, N. Pappo et D. Yachan ? « New malware distribution methods threaten signature-based av, pp.98-107, 2005.
DOI : 10.1145/1190215.1190270

URL : http://profs.sci.univr.it/~dallapre/poplfp709-dallapreda.pdf

. Fil04, Filiol ? Les virus informatiques : théorie, pratique et applications, p.Translation, 2004.

T. Hansen, T. Nikolajsen, and J. Träff, Experiments with implementations of two theoretical constructions, Lecture Notes in Computer Science Lecture Notes in Mathematics, vol.363, issue.29, pp.119-133, 1989.
DOI : 10.1007/3-540-51237-3_11

. [. Kephart, Arnold ? « Automatic Extraction of Computer Virus Signatures, 4th Virus Bulletin International Conference 113 [Kac05] M. Kaczmarek ? Virologie informatique, Mémoire, Ecole nationale supérieur des Mines de Nancy -IAEM Nancy, pp.178-184, 1994.

]. S. Kle52, Kleene ? Introduction to metamathematics, p.67, 1952.

]. M. Lud98, Ludwig ? The giant black book of computer viruses, p.47, 1998.

M. Li, Vitányi ? An Introduction to Kolmogorov Complexity and its Application, p.81, 1997.
DOI : 10.1007/978-1-4757-3860-5

G. [. Matos, Boudol ? « On declassification and the non-disclosure policy, Proc. IEEE Computer Security Foundations Workshop, pp.226-240, 2005.

E. [. Schultz and E. Eskin, Zadok et S. Stolfo ? « Data Mining Methods for Detection of New Malicious Executables, Proceedings of the IEEE Symposium on Security and Privacy, pp.38-113, 2001.

T. G. Tesauro and J. Kephart, Sorkin ? « Neural networks for computer virus recognition », Expert, IEEE [see also IEEE Intelligent Systems and Their Applications, pp.5-6, 1996.