Computer Viruses: The Abstract Theory Revisited

12/13/2019
by   Nikolai Gladychev, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/18/2018

Notes on Abstract Argumentation Theory

This note reviews Section 2 of Dung's seminal 1995 paper on abstract arg...
research
03/21/2020

Basic concepts, definitions, and methods in D number theory

As a generalization of Dempster-Shafer theory, D number theory (DNT) aim...
research
06/17/2016

Learning Abstract Classes using Deep Learning

Humans are generally good at learning abstract concepts about objects an...
research
05/11/2023

A Category-theoretical Meta-analysis of Definitions of Disentanglement

Disentangling the factors of variation in data is a fundamental concept ...
research
01/31/2018

Call-by-name Gradual Type Theory

We present gradual type theory, a logic and type theory for call-by-name...
research
02/12/2020

Hypergraphs: an introduction and review

Abstract Hypergraphs were introduced in 1973 by Bergé. This review aims ...
research
06/13/2018

Understanding the Meaning of Understanding

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

Please sign up or login with your details

Forgot password? Click here to reset