An Abstract Theory of Computer Viruses
CRYPTO '88 Proceedings of the 8th Annual International Cryptology Conference on Advances in Cryptology
Mathematical Models of Interactive Computing
Mathematical Models of Interactive Computing
Turing machines, transition systems, and interaction
Information and Computation
Hi-index | 0.00 |
A computer virus is a program that can generate possibly evolved copies of itself when it runs on a computer utilizing the machine's resources, and by some means each copy may be propagated to another computer in which the copy will have a chance to get executed. And we call a virus instance as a viral agent since it is autonomous during its execution by choosing what action to perform in the computer without a user's intervention. In the paper we develop a computational model of viral agents based on the persistent Turing machine (PTM) model which is a canonical model for sequential interaction. The model reveals the most essential infection property of computer viruses well and overcomes the inherent deficiency of Turing machine (TM) virus models in expressing interaction. It is conceivable that viral agents have much potential to evolve in various environments according to the model. Therefore we also discuss the evolution of viral agents with two existing relevant works.