On Abstract Computer Virology from a Recursion-theoretic PerspectiveReportar como inadecuado




On Abstract Computer Virology from a Recursion-theoretic Perspective - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.

Keywords : Computer virology computability recursion theorem iteration theorem





Autor: Guillaume Bonfante - Matthieu Kaczmarek - Jean-Yves Marion -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados