Skip to Main content Skip to Navigation
Conference papers

A Classification of Viruses through Recursion Theorems

Guillaume Bonfante 1 Matthieu Kaczmarek 1 Jean-Yves Marion 1
1 CARTE - Theoretical adverse computations, and safety
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/inria-00175301
Contributor : Matthieu Kaczmarek Connect in order to contact the contributor
Submitted on : Thursday, September 27, 2007 - 3:39:44 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM
Long-term archiving on: : Monday, September 24, 2012 - 12:50:56 PM

File

bonfante.a_classification_of_c...
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

342

Files downloads

1146