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

E. Makinen
2001 Computer journal  
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.
doi:10.1093/comjnl/44.4.321 fatcat:us7p3n5hjfgrhawuzt6mfqrulm