Toward an Abstract Computer Virology

  title={Toward an Abstract Computer Virology},
  author={Guillaume Bonfante and Matthieu Kaczmarek and Jean-Yves Marion},
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 about the relationship between information theory and virus and we… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 22 references

Computer Viruses

  • F. Cohen
  • PhD thesis, University of Southern California…
  • 1986
Highly Influential
5 Excerpts

The Art of Computer Virus Research and Defense

  • P. Szor
  • Addison-Wesley Professional,
  • 2005
1 Excerpt

Les virus informatiques: théorie, pratique et applications

  • E. Filiol
  • Springer-Verlag France,
  • 2004
1 Excerpt

Similar Papers

Loading similar papers…