Computer Viruses: The Abstract Theory Revisited
This work addresses the need for better theoretical foundations in computer virus research, but it is incremental as it builds on existing abstract theories.
The paper tackled the problem of understanding computer viruses by advancing the abstract theory, presenting a method for defining virus classes and connecting these definitions to real-world implementations.
Identifying new viral threats, and developing long term defences against current and future computer viruses, requires an understanding of their behaviour, structure and capabilities. This paper aims to advance this understanding by further developing the abstract theory of computer viruses. A method of providing abstract definitions for classes of viruses is presented in this paper, which addresses inadequacies of previous techniques. Formal definitions for some classes of viruses are then provided, which correspond to existing informal definitions. To relate the abstract theory to the real world, the connection between the abstract definitions and concrete virus implementations is examined. The use of the proposed method in studying the fundamental properties of computer viruses is discussed.