From Turing machines to computer viruses

Jean-Yves Marion 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Self-replication is one of the fundamental aspects of computing where a program or a system may duplicate, evolve and mutate. Our point of view is that Kleene's (second) recursion theorem is essential to understand self-replication mechanisms. An interesting example of self-replication codes is given by computer viruses. This was initially explained in the seminal works of Cohen and of Adleman in the 1980s. In fact, the different variants of recursion theorems provide and explain constructions of self-replicating codes and, as a result, of various classes of malware. None of the results are new from the point of view of computability theory. We now propose a self-modifying register machine as a model of computation in which we can effectively deal with the self-reproduction and in which new offsprings can be activated as independent organisms.
Type de document :
Article dans une revue
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2012, 370 (1971), pp.3319-3339. 〈10.1098/rsta.2011.0332〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00762923
Contributeur : Jean-Yves Marion <>
Soumis le : dimanche 9 décembre 2012 - 12:35:56
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25

Lien texte intégral

Identifiants

Collections

Citation

Jean-Yves Marion. From Turing machines to computer viruses. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2012, 370 (1971), pp.3319-3339. 〈10.1098/rsta.2011.0332〉. 〈hal-00762923〉

Partager

Métriques

Consultations de la notice

216