Erkki Makinen
THE COMPUTER JOURNAL, Vol. 44, No. 4, 2001, pp.321-323
November 2001
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.