Toward an abstract computer virology - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Toward an abstract computer virology

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 constructions in order to construct viruses, and we illustrate them by various examples. We discuss about the relationship between information theory and virus and we propose a defense against some kind of viral propagation. Lastly, we show that virus detection is Π 02 -complete. However, since we are able to deal with system vulnerability, we exhibit another defense based on controlling system access.

Domaines

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

Dates et versions

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

Identifiants

Citer

Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. Toward an abstract computer virology. Second International Colloquium on Theoretical Aspects of Computing - ICTAC 2005, Oct 2005, Hanoï/Vietnam, pp.579-593, ⟨10.1007/11560647_38⟩. ⟨inria-00115208⟩
130 Consultations
310 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More