Skip to Main content Skip to Navigation
New interface
Journal articles

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 metadata

Cited literature [29 references]  Display  Hide  Download
Contributor : Matthieu Kaczmarek Connect in order to contact the contributor
Submitted on : Monday, November 20, 2006 - 3:51:37 PM
Last modification on : Saturday, June 25, 2022 - 7:44:37 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 11:05:31 PM


Files produced by the author(s)




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



Record views


Files downloads