Computer viruses: theory and experiments
Computers and Security
An introduction to Kolmogorov complexity and its applications (2nd ed.)
An introduction to Kolmogorov complexity and its applications (2nd ed.)
The Giant Black Book of Computer Viruses
The Giant Black Book of Computer Viruses
An Abstract Theory of Computer Viruses
CRYPTO '88 Proceedings of the 8th Annual International Cryptology Conference on Advances in Cryptology
An Overview of Computer Viruses in a Research Environment
An Overview of Computer Viruses in a Research Environment
Computer viruses
Complexity - Special issue: Resilient and adaptive defense of computing networks
The Art of Computer Virus Research and Defense
The Art of Computer Virus Research and Defense
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
A Classification of Viruses Through Recursion Theorems
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Journal of Computer Security
| Hi-index | 0.00 |
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.