Skip to Main content Skip to Navigation

On Abstract Computer Virology from a Recursion-theoretic Perspective

Guillaume Bonfante 1 Matthieu Kaczmarek 1 Jean-Yves Marion 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : We are concerned with theoretical aspects of computer viruses. For this, we suggest a new definition of viruses which is clearly based on the iteration theorem and above all on Kleene's recursion theorem. We show that we capture in a natural way previous definitions, and in particular the one of Adleman. We establish generic virus constructions and we illustrate them by various examples. Lastly, we show results on virus detection.
Document type :
Journal articles
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/inria-00115199
Contributor : Matthieu Kaczmarek <>
Submitted on : Monday, November 20, 2006 - 3:51:37 PM
Last modification on : Tuesday, December 18, 2018 - 4:48:02 PM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 11:05:31 PM

File

jcv06.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. On Abstract Computer Virology from a Recursion-theoretic Perspective. Journal in Computer Virology, Springer Verlag, 2006, 1 (3-4), pp.45--54. ⟨10.1007/s11416-005-0007-4⟩. ⟨inria-00115199⟩

Share

Metrics

Record views

742

Files downloads

479