Skip to main content
SpringerLink
Log in

On Abstract Computer Virology from a Recursion Theoretic Perspective

  • Original Paper
  • Published:
Journal in Computer Virology Aims and scope Submit manuscript

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 in this study 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 the results on virus detection.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Adleman, L.M.: An abstract theory of computer viruses. In: Advances in Cryptology – CRYPTO'88, vol. 403. Lecture notes in computer science (1988)

  2. Bishop M. (1991). An overview of computer viruses in a research environment. Technical report, Dartmouth College, Hanover, NH

    Google Scholar 

  3. Blum M. (1967). A machine independent theory of the complexity of recursive functions. J ACM 14:322–336

    Google Scholar 

  4. Bonfante, G., Kaczmarek, M., Marion, J-Y.: Toward an abstract computer virology. In: Lecture notes in computer science, vol. 3722, pp 579–593 (2005)

  5. Chess, D.M., White, S.R.: An undetectable computer virus (2000)

  6. Cohen, F.: Computer viruses. PhD Thesis, University of Southern California (1986)

  7. Cohen F. (1987). Computer viruses: theory and experiments. Comput Secur 6(1):22–35

    Google Scholar 

  8. Cohen F. (1988). On the implications of computer viruses and methods of defense. Comput Secur 7:167–184

    Google Scholar 

  9. Cohen F. (1989). Computational aspects of computer viruses. Comput Secur 8:325–344

    Google Scholar 

  10. Filiol, F.: Les virus informatiques: th讲ie, pratique et applications. Springer-Verlag France: 2004. Translation [11]

  11. Filiol, F.: Computer viruses: from theory to applications. Springer Berlin Heidelberg New York 2005

  12. Goel S., Bush S.F. (2003). Kolmogorov complexity estimates for detection of viruses in biologically inspired security systems: a comparison with traditional approaches. Complex 9(2):54–73

    Google Scholar 

  13. Anderson S., Thimbleby H., Cairns P. (1999). A framework for medelling trojans and computer virus infection. Comput Journal 41:444–458

    Google Scholar 

  14. Jain J., Osherson D., Royer J., Sharma A. (1999). Systems that learn. MIT, Cambridge

    Google Scholar 

  15. Jones, N.D.: Computer implementation and applications of kleene's S-m-n and recursive theorems. In: Moschovakis, Y.N. (ed.) Lecture notes in mathematics, logic from computer science, pp 243–263 (1991)

  16. Jones N.D. (1997). Computability and complexity: from a programming perspective. MIT, Cambridge, MA

    Google Scholar 

  17. Kleene, S.C: Introduction to metamathematics. Van Nostrand 1952

  18. Ludwig, M.A.: The giant black book of computer viruses. sun city west: American Eagle Publications 1998

  19. Myhill J. (1955). Creative sets. Zeit fur Math Logik und Grund der Math. 1:97–108

    Google Scholar 

  20. Odifreddi, P.: Classical recursion theory. Amsterdam North-Holland 1989

  21. Rogers H. (1958). Gödel numberings of partial recursive function. J Symbol Logic 23(3):331–341

    Google Scholar 

  22. Rogers H. Jr. (1967). Theory of recursive functions and effective computability. McGraw Hill, New York

    Google Scholar 

  23. Smullyan R.M. (1961). Theory of formal systems. Princeton University Press, Princeton

    Google Scholar 

  24. Smullyan R.M. (1993). Recursion theory for metamathematics. Oxford University Press, New York, Translation

    Google Scholar 

  25. Smullyan R.M. (1994). Diagonalization and self-reference. Oxford University Press, New york

    Google Scholar 

  26. Szor P.: The art of computer virus research and defense.Reading Addison-Wesley Professional 2005

  27. Thompson, K.: Reflections on trusting trust. Commun ACM 27:761–763, (1984). Also appears in ACM Turing Award Lectures: the first twenty years 1965–1985

    Google Scholar 

  28. Uspenskii, V.A.: Enumeration operators and the concept of program. Uspekhi Matematicheskikh Nauk 11, (1956)

  29. von Neumann, J.: Theory of self-reproducing automata. Urbana, IL: University of Illinois Press, Urbana, Illinois, 1966. Edited and completed by A.W. Burks

  30. Zuo, Z., Zhou, M.: Some further theorical results about computer viruses. In: The computer journal (2004)

Download references

Author information

Authors and Affiliations

  1. Loria - INPL, Ecole Nationale Supérieure des Mines de Nancy, B.P. 239, 54506, Vandœuvre-lès-Nancy Cédex, France

    G. Bonfante, M. Kaczmarek & J.-Y. Marion

Authors
  1. G. Bonfante
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Kaczmarek
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J.-Y. Marion
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to J.-Y. Marion.

Additional information

We would like to thank Eric Filiol and the referees for their assistance

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bonfante, G., Kaczmarek, M. & Marion, JY. On Abstract Computer Virology from a Recursion Theoretic Perspective. J Comput Virol 1, 45–54 (2006). https://doi.org/10.1007/s11416-005-0007-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11416-005-0007-4

Keywords

Search

Navigation