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
Contributor : Jean-Yves Marion Connect in order to contact the contributor
Submitted on : Sunday, December 9, 2012 - 11:31:17 AM
Last modification on : Saturday, June 25, 2022 - 7:43:48 PM
Long-term archiving on: : Monday, March 11, 2013 - 12:07:16 PM


Files produced by the author(s)


  • HAL Id : hal-00762918, version 1


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



Record views


Files downloads