Formal affordance-based models of computer virus reproduction |
| |
Authors: | Matt Webster Grant Malcolm |
| |
Affiliation: | (1) Department of Computer Science, University of Liverpool, Liverpool, L69 3BX, UK |
| |
Abstract: | We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson’s theory
of affordances. A computer virus reproduction model consists of: a labelled transition system to represent the states and
actions involved in that virus’s reproduction; a notion of entities that are active in the reproductive process, and are present
in certain states; a sequence of actions corresponding to the means of reproduction of the virus; and a formalisation of the
actions afforded by entities to other entities. Informally, an affordance is an action that one entity allows another to perform.
For example, an operating system might afford a computer virus the ability to read data from the disk. We show how computer
virus reproduction models can be classified according to whether or not any of their reproductive actions are afforded by
other entities. We give examples of reproduction models for three different computer viruses, and show how reproduction model
classification can be automated. To demonstrate this we give three examples of how computer viruses can be classified automatically
using static and dynamic analysis, and show how classifications can be tailored for different types of anti-virus behaviour
monitoring software. Finally, we compare our approach with related work, and give directions for future research. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|