Toward an Abstract Computer Virology

  • G. Bonfante
  • M. Kaczmarek
  • J. -Y. Marion
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3722)

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 constructions in order to construct viruses, and we illustrate them by various examples. We discuss the relationship between information theory and viruses and we propose a defense against a kind of viral propagation. Lastly, we show that virus detection is Π2-complete. However, since we are able to deal with system vulnerability, we exhibit another defense based on controlling system access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • G. Bonfante
    • 1
    • 2
  • M. Kaczmarek
    • 1
    • 2
  • J. -Y. Marion
    • 1
    • 2
  1. 1.Loria, Calligramme projectVandœuvre-lès-NancyFrance
  2. 2.École Nationale Supérieure des Mines de Nancy, INPLFrance

Personalised recommendations