The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)
Center for Education and Research in Information Assurance and Security

A Framework for Modelling Trojans and Computer Virus Infection

Author

Harold Thimbleby, Stuart Anderson, Paul Cairns

Entry type

article

Abstract

It is not possible to view a computer operating in the real world, including the possibility of Trojan Horse programs and computer viruses, as simply a finite realisation of a Turing Machine. We consider the actions of Trojan Horses and viruses in real computer systems and suggest a minimal framework for an adequate formal understanding of the phenomena. Some conventional approaches, including biological metaphors, are shown to be inadequate; some suggestions are made towards constructing virally-resistant systems.

Key alpha

Thimbleby

Acknowledgement

Prof. Ian H. Witten

Affiliation

Middlesex University, Edinburgh University

Publication Date

0000-00-00

Keywords

Trojan Horse, virus, framework

Language

English

Location

A hard-copy of this is in the Papers Cabinet

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.