DeepAI AI Chat
Log In Sign Up

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

06/18/2018

Notes on Abstract Argumentation Theory

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

Basic concepts, definitions, and methods in D number theory

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

Learning Abstract Classes using Deep Learning

Humans are generally good at learning abstract concepts about objects an...
01/31/2018

Call-by-name Gradual Type Theory

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

Hypergraphs: an introduction and review

Abstract Hypergraphs were introduced in 1973 by Bergé. This review aims ...
12/07/2021

An Interactive Approach for Identifying Structure Definitions

Our ability to grasp and understand complex phenomena is essentially bas...
06/13/2018

Understanding the Meaning of Understanding

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