A note on Cohen's formal model for computer viruses
Kimmo Kauranen, Erkki Mäkinen · ACM SIGSAC Review · 1990
This note discusses the formal model for computer viruses presented by Fred Cohen. We propose some refinements for the model. Especially, we define a computer virus to be a description of a Turing machine capable of writing a description of another Turing machine to the tape of a universal Turing machine.