Maximize
Bookmark

VX Heavens

Library Collection Sources Engines Constructors Simulators Utilities Links Forum

A framework for modelling trojans and computer virus infection

Harold Thimbleby, Stuart Anderson, Paul Cairns
Computer Journal, 41(7), pp444-458, 1999.
1999

7
PDFDownload PDF (227.71Kb) (You need to be registered on forum)
[Back to index] [Comments (0)]

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.

[Read the article]

deenesitfrplruua