DeepAI AI Chat
Log In Sign Up

Computer Viruses: The Abstract Theory Revisited

by   Nikolai Gladychev, et al.

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.


page 1

page 2

page 3

page 4


Notes on Abstract Argumentation Theory

This note reviews Section 2 of Dung's seminal 1995 paper on abstract arg...

Basic concepts, definitions, and methods in D number theory

As a generalization of Dempster-Shafer theory, D number theory (DNT) aim...

Learning Abstract Classes using Deep Learning

Humans are generally good at learning abstract concepts about objects an...

Call-by-name Gradual Type Theory

We present gradual type theory, a logic and type theory for call-by-name...

Hypergraphs: an introduction and review

Abstract Hypergraphs were introduced in 1973 by Bergé. This review aims ...

An Interactive Approach for Identifying Structure Definitions

Our ability to grasp and understand complex phenomena is essentially bas...

Understanding the Meaning of Understanding

Can we train a machine to detect if another machine has understood a con...