We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recursion theorem. We show that we can classify viruses as solutions of fixed point equations which are obtained from different versions of Kleene's second recursion theorem. This lead us to consider four classes of viruses which various polymorphic features. We propose to use virus distribution in order to deal with mutations. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Bonfante, G., Kaczmarek, M., & Marion, J. Y. (2007). A classification of viruses through recursion theorems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4497 LNCS, pp. 73–82). https://doi.org/10.1007/978-3-540-73001-9_8
Mendeley helps you to discover research relevant for your work.