A Classification of Viruses through Recursion Theorems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

A Classification of Viruses through Recursion Theorems


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.
Fichier principal
Vignette du fichier
bonfante.a_classification_of_computer_viruses_through_recursion_theorems.pdf (152.45 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00175301 , version 1 (27-09-2007)



Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. A Classification of Viruses through Recursion Theorems. Computability in Europe, Jun 2007, Sienna, Italy. pp.73-82, ⟨10.1007/978-3-540-73001-9_8⟩. ⟨inria-00175301⟩
140 View
890 Download



Gmail Facebook X LinkedIn More