VX Heaven

Library Collection Sources Engines Constructors Simulators Utilities Links Forum

A note on Cohen's formal model for computer viruses

Kimmo Kauranen, Erkki Makinen
ACM SIGSAC Review, Volume 8, Issue 2, (Summer 1990), pp.40-43
ISSN 1558-0261

PDFDownload PDF (182.5Kb) (You need to be registered on forum)
[Back to index] [Comments]


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.

[Read the article]

By accessing, viewing, downloading or otherwise using this content you agree to be bound by the Terms of Use! aka