Viruses in Turing's Garden

Jean-Yves Marion 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Cohen and his supervisor Adleman defined a virus as follows: "A virus is a program that is able to infect other programs by modifying them to include a possibly evolved copy to itself". This definition seems to be well accepted by the computer security community as a foundational definition. Thus, a virus is a self-replicating program, whose offspring may be a mutation of the original program. Viruses thrive in our computers, which are based on Turing's model of computation. We discuss the fundamental reasons for this.
keyword : virus Turing Kleene
Type de document :
Article dans une revue
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00762918
Contributeur : Jean-Yves Marion <>
Soumis le : dimanche 9 décembre 2012 - 11:31:17
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : lundi 11 mars 2013 - 12:07:16

Fichier

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

Identifiants

  • HAL Id : hal-00762918, version 1

Citation

Jean-Yves Marion. Viruses in Turing's Garden. ERCIM News, ERCIM, 2012, 2012 (91), 〈http://ercim-news.ercim.eu/en91/special/viruses-in-turings-garden〉. 〈hal-00762918〉

Partager

Métriques

Consultations de la notice

259

Téléchargements de fichiers

184