Toward an abstract computer virology

Guillaume Bonfante 1 Matthieu Kaczmarek 1 Jean-Yves Marion 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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 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.
Type de document :
Communication dans un congrès
Dang Van Hung and Martin Wirsing. Second International Colloquium on Theoretical Aspects of Computing - ICTAC 2005, Oct 2005, Hanoï/Vietnam, Springer, 3722, pp.579-593, 2005, Lecture Notes in Computer Science. 〈10.1007/11560647_38〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00115208
Contributeur : Matthieu Kaczmarek <>
Soumis le : lundi 20 novembre 2006 - 16:01:31
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : jeudi 20 septembre 2012 - 14:51:50

Fichier

ictac05.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. Toward an abstract computer virology. Dang Van Hung and Martin Wirsing. Second International Colloquium on Theoretical Aspects of Computing - ICTAC 2005, Oct 2005, Hanoï/Vietnam, Springer, 3722, pp.579-593, 2005, Lecture Notes in Computer Science. 〈10.1007/11560647_38〉. 〈inria-00115208〉

Partager

Métriques

Consultations de la notice

164

Téléchargements de fichiers

180