Comment on 'A Framework for Modelling Trojans and Computer Virus Infection'
Erkki Mäkinen · The Computer Journal · 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.