On Abstract Computer Virology from a Recursion-theoretic Perspective - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal in Computer Virology Année : 2006

On Abstract Computer Virology from a Recursion-theoretic Perspective

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
jcv06.pdf (204.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
710 Consultations
505 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More