Kimmo Kauranen, Erkki Makinen
ACM SIGSAC Review, Volume 8, Issue 2, (Summer 1990), pp.40-43
ISSN 1558-0261
1990
Download PDF (182.5Kb) (You need to be registered on forum)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.