On Abstract Computer Virology from a Recursion-theoretic Perspective

Guillaume Bonfante 1 Matthieu Kaczmarek 1 Jean-Yves Marion 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : We are concerned with theoretical aspects of computer viruses. For this, we suggest a new definition of viruses which is clearly based on the iteration theorem and above all on Kleene's recursion theorem. We show that we capture in a natural way previous definitions, and in particular the one of Adleman. We establish generic virus constructions and we illustrate them by various examples. Lastly, we show results on virus detection.
Type de document :
Article dans une revue
Journal in Computer Virology, Springer Verlag, 2006, 1 (3-4), pp.45--54. 〈10.1007/s11416-005-0007-4〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00115199
Contributeur : Matthieu Kaczmarek <>
Soumis le : lundi 20 novembre 2006 - 15:51:37
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : mardi 6 avril 2010 - 23:05:31

Fichier

jcv06.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. On Abstract Computer Virology from a Recursion-theoretic Perspective. Journal in Computer Virology, Springer Verlag, 2006, 1 (3-4), pp.45--54. 〈10.1007/s11416-005-0007-4〉. 〈inria-00115199〉

Partager

Métriques

Consultations de la notice

457

Téléchargements de fichiers

369