On Abstract Computer Virology from a Recursion-theoretic Perspective - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal in Computer Virology Year : 2006

On Abstract Computer Virology from a Recursion-theoretic Perspective

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
jcv06.pdf (204.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00115199 , version 1 (20-11-2006)

Identifiers

Cite

Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. On Abstract Computer Virology from a Recursion-theoretic Perspective. Journal in Computer Virology, 2006, 1 (3-4), pp.45--54. ⟨10.1007/s11416-005-0007-4⟩. ⟨inria-00115199⟩
694 View
495 Download

Altmetric

Share

Gmail Facebook X LinkedIn More