A Framework for Modelling Trojans and Computer Virus Infection

H. Thimbleby; S. Anderson; P. Cairns

doi:10.1093/comjnl/41.7.444

A Framework for Modelling Trojans and Computer Virus Infection

H. Thimbleby, S. Anderson, P. Cairns

Research output: Contribution to journal › Article › peer-review

Abstract / Description of output

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.

Original language	English
Pages (from-to)	444-458
Number of pages	15
Journal	The Computer Journal
Volume	41
Issue number	7
DOIs	https://doi.org/10.1093/comjnl/41.7.444
Publication status	Published - 1998

Access to Document

10.1093/comjnl/41.7.444

A Framework for Modelling Trojans and Computer Virus InfectionFinal published version, 165 KB

http://comjnl.oxfordjournals.org/content/41/7/444.abstract

Cite this

@article{538b9fbea69041bca96db83366962d67,

title = "A Framework for Modelling Trojans and Computer Virus Infection",

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.",

author = "H. Thimbleby and S. Anderson and P. Cairns",

year = "1998",

doi = "10.1093/comjnl/41.7.444",

language = "English",

volume = "41",

pages = "444--458",

journal = "The Computer Journal",

issn = "0010-4620",

publisher = "Oxford University Press",

number = "7",

}

TY - JOUR

T1 - A Framework for Modelling Trojans and Computer Virus Infection

AU - Thimbleby, H.

AU - Anderson, S.

AU - Cairns, P.

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

U2 - 10.1093/comjnl/41.7.444

DO - 10.1093/comjnl/41.7.444

M3 - Article

SN - 0010-4620

VL - 41

SP - 444

EP - 458

JO - The Computer Journal

JF - The Computer Journal

IS - 7

ER -

A Framework for Modelling Trojans and Computer Virus Infection

Abstract / Description of output

Access to Document

Fingerprint

Cite this