From Turing machines to computer viruses

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences Jg. 370; H. 1971; S. 3319
1. Verfasser: Marion, Jean-Yves
Format: Journal Article
Sprache:Englisch
Veröffentlicht: England 28.07.2012
ISSN:1364-503X
Online-Zugang:Weitere Angaben
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
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.
AbstractList 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.
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.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.
Author Marion, Jean-Yves
Author_xml – sequence: 1
  givenname: Jean-Yves
  surname: Marion
  fullname: Marion, Jean-Yves
  email: jean-yves.marion@loria.fr
  organization: Université de Lorraine, LORIA, UMR, Vandoeuvre-lès-Nancy, France. jean-yves.marion@loria.fr
BackLink https://www.ncbi.nlm.nih.gov/pubmed/22711861$$D View this record in MEDLINE/PubMed
BookMark eNo1jz1PwzAURT0U0Q9YGVFGlgS_58R2RlTRglSJpUhs0bPrQFCcBDtB4t8ToTLd4R4d3btmi67vHGM3wDPgpb4PcaQMOUDGhcAFW4GQeVpw8bZk6xg_-VzJAi_ZElEBaAkrdrcLvU-OU2i698ST_Wg6F5OxT2zvh2l0IfluwhRdvGIXNbXRXZ9zw153j8ftU3p42T9vHw6plVyOqcgNlVjXioRUsibJtS3QGUVgLfJCUUlG56TFyZDWUiguDAcCsiWUaHAzT_rzDqH_mlwcK99E69qWOtdPsQKOgIXOCzmjt2d0Mt6dqiE0nsJP9f8OfwEutlA_
CitedBy_id crossref_primary_10_1088_2632_072X_ad9cdc
crossref_primary_10_1016_j_tcs_2015_01_030
crossref_primary_10_3233_COM_180217
crossref_primary_10_3390_e23040405
crossref_primary_10_3390_cryptography9010016
ContentType Journal Article
DBID NPM
7X8
DOI 10.1098/rsta.2011.0332
DatabaseName PubMed
MEDLINE - Academic
DatabaseTitle PubMed
MEDLINE - Academic
DatabaseTitleList PubMed
MEDLINE - Academic
Database_xml – sequence: 1
  dbid: NPM
  name: PubMed
  url: http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?db=PubMed
  sourceTypes: Index Database
– sequence: 2
  dbid: 7X8
  name: MEDLINE - Academic
  url: https://search.proquest.com/medline
  sourceTypes: Aggregation Database
DeliveryMethod no_fulltext_linktorsrc
Discipline Engineering
Mathematics
Sciences (General)
Physics
ExternalDocumentID 22711861
Genre Journal Article
GroupedDBID ---
-~X
0R~
18M
2WC
4.4
5VS
AACGO
AANCE
AAWIL
ABBHK
ABFAN
ABPLY
ABTLG
ABXSQ
ABYWD
ACGFO
ACHIC
ACIWK
ACMTB
ACNCT
ACQIA
ACRPL
ACTMH
ADBBV
ADNMO
ADODI
ADQXQ
ADULT
AEUPB
AEXZC
AFFNX
AFVYC
AGLNM
AGPVY
AIHAF
AJZGM
ALMA_UNASSIGNED_HOLDINGS
ALMYZ
ALRMG
AQVQM
BGBPD
BTFSW
DCCCD
DIK
DQDLB
DSRWC
EBS
ECEWR
EJD
F5P
H13
HH5
HQ6
HZ~
IPSME
JAAYA
JBMMH
JENOY
JHFFW
JKQEH
JLS
JLXEF
JMS
JPM
JSG
JST
K-O
KQ8
MRS
MV1
NPM
NSAHA
O9-
OK1
P2P
RRY
SA0
TN5
TR2
V1E
W8F
XSW
YNT
~02
7X8
AGQPQ
ID FETCH-LOGICAL-c606t-34ba92ff7a3676fa608c52eb7a1cc2057a9ab84a83dba8863703b01a1ac9192b2
IEDL.DBID 7X8
ISICitedReferencesCount 9
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000306172800004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1364-503X
IngestDate Thu Oct 02 10:02:52 EDT 2025
Thu Apr 03 07:02:20 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 1971
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c606t-34ba92ff7a3676fa608c52eb7a1cc2057a9ab84a83dba8863703b01a1ac9192b2
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
OpenAccessLink https://royalsocietypublishing.org/doi/pdf/10.1098/rsta.2011.0332
PMID 22711861
PQID 1021258456
PQPubID 23479
ParticipantIDs proquest_miscellaneous_1021258456
pubmed_primary_22711861
PublicationCentury 2000
PublicationDate 2012-07-28
PublicationDateYYYYMMDD 2012-07-28
PublicationDate_xml – month: 07
  year: 2012
  text: 2012-07-28
  day: 28
PublicationDecade 2010
PublicationPlace England
PublicationPlace_xml – name: England
PublicationTitle Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences
PublicationTitleAlternate Philos Trans A Math Phys Eng Sci
PublicationYear 2012
SSID ssj0011652
Score 2.1019158
Snippet 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...
SourceID proquest
pubmed
SourceType Aggregation Database
Index Database
StartPage 3319
Title From Turing machines to computer viruses
URI https://www.ncbi.nlm.nih.gov/pubmed/22711861
https://www.proquest.com/docview/1021258456
Volume 370
WOSCitedRecordID wos000306172800004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NS8MwFA_qFPSgbn7NLyp4mIeyNknT9CQiDg9u7DCht5KkDeywdq7b_n5fsmzzIgheyiu0UF5fXt7Le-_3Q-gRM5HEIuG-VBL7VNHEFxikPBKKKkYU5XZQ-CMeDHiaJkN34Fa7tsq1T7SOOq-UOSPvGgpqDLtlxJ6nX75hjTLVVUehsYsaBEIZ09IVp9sqQsgs405IGPWjgKQb0EbeNWMjDsCTGOqR38JLu830Tv77gafo2AWY3svKIppopyhb6OgH7CDc9TdYrXULHdgmUCM13UKvvY5Do346Q53erJp4IzvN6E1s6yU8MK885fggvOV4tqiL-hx99t5Gr---o1fwFWQtc59QKRKsdSwMapsWLOAqwoWMRagUhjhOJEJyKjjJpeCcEXAOMghFKFQCcaHEF2ivrMriCnmEa0y5jgx0DmUFpNWQVYGgA6Fzmcdt9LDWWQbma2oSoiyqRZ1ttdZGlyvFZ9MVzkaGcQzpDwuv__D2DTqEv2kbaTG_RQ0Ni7e4Q_tqOR_Xs3trF3AdDPvfP3LAow
linkProvider ProQuest
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=From+Turing+machines+to+computer+viruses&rft.jtitle=Philosophical+transactions+of+the+Royal+Society+of+London.+Series+A%3A+Mathematical%2C+physical%2C+and+engineering+sciences&rft.au=Marion%2C+Jean-Yves&rft.date=2012-07-28&rft.issn=1364-503X&rft.volume=370&rft.issue=1971&rft.spage=3319&rft_id=info:doi/10.1098%2Frsta.2011.0332&rft_id=info%3Apmid%2F22711861&rft_id=info%3Apmid%2F22711861&rft.externalDocID=22711861
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1364-503X&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1364-503X&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1364-503X&client=summon