A Classification of Viruses through Recursion Theorems

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 study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose definitions are based on Kleene's second recursion theorem. We introduce a notion of delayed recursion that we apply to both Kleene's second recursion theorem and Smullyan's double recursion theorem. This leads us to define four classes of viruses, two of them being polymorphic. Then, we work on a simple imperative programming language in order to show how those theoretical constructions can be implemented. In particular, we propose a general virus builder, and distribution engines.
Type de document :
Communication dans un congrès
S. Barry Cooper and Benedikt Löwe and Andrea Sorbi. Computability in Europe, Jun 2007, Sienna, Italy. Springer, 4497, pp.73-82, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-73001-9_8〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00175301
Contributeur : Matthieu Kaczmarek <>
Soumis le : jeudi 27 septembre 2007 - 15:39:44
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : lundi 24 septembre 2012 - 12:50:56

Fichier

bonfante.a_classification_of_c...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. A Classification of Viruses through Recursion Theorems. S. Barry Cooper and Benedikt Löwe and Andrea Sorbi. Computability in Europe, Jun 2007, Sienna, Italy. Springer, 4497, pp.73-82, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-73001-9_8〉. 〈inria-00175301〉

Partager

Métriques

Consultations de la notice

272

Téléchargements de fichiers

473