Skip to Main content Skip to Navigation
Journal articles

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
Document type :
Journal articles
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/hal-00762918
Contributor : Jean-Yves Marion <>
Submitted on : Sunday, December 9, 2012 - 11:31:17 AM
Last modification on : Thursday, November 5, 2020 - 3:01:01 PM
Long-term archiving on: : Monday, March 11, 2013 - 12:07:16 PM

File

ErcimVirus.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00762918, version 1

Citation

Jean-Yves Marion. Viruses in Turing's Garden. ERCIM News, ERCIM, 2012, 2012 (91). ⟨hal-00762918⟩

Share

Metrics

Record views

336

Files downloads

334