Journal Article

A Framework for Modelling Trojans and Computer Virus Infection

H. Thimbleby, S. Anderson and P. Cairns

in The Computer Journal

Published on behalf of British Computer Society

Volume 41, issue 7, pages 444-458
Published in print January 1998 | ISSN: 0010-4620
Published online January 1998 | e-ISSN: 1460-2067 | DOI: https://dx.doi.org/10.1093/comjnl/41.7.444
A Framework for Modelling Trojans and Computer Virus Infection

Show Summary Details

Preview

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.

Journal Article.  0 words. 

Subjects: Computer Science

Full text: subscription required

How to subscribe Recommend to my Librarian

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content. subscribe or login to access all content.