A note on Cohen's formal model for computer viruses

Authors:
Kimmo Kauranen;Erkki Makinen
Affiliations:
-;-
Venue:
ACM SIGSAC Review
Year:
1990

Citing 2
Cited 0

Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
Computation: finite and infinite machines

Computation: finite and infinite machines

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.