VX Heaven

Library Collection Sources Engines Constructors Simulators Utilities Links Forum

Comment on 'A Framework for Modelling Trojans and Computer Virus Infection'

Erkki Makinen
THE COMPUTER JOURNAL, Vol. 44, No. 4, 2001, pp.321-323
November 2001

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


We (re-)introduce a Turing machine model for computer viruses. Despite the recent criticism of Turing machine models, they enjoy important advantages: their well-known notation and rich theory make them easy to understand and to elaborate. For many natural problems concerning computer viruses, e.g. for various decidability problems, Turing machine models provide a suitable platform of research.

[Read the article]

By accessing, viewing, downloading or otherwise using this content you agree to be bound by the Terms of Use! aka