[Cohen86] F. Cohen, Computer Viruses ASP Press, 1986. [This Ph.D. dissertation provides the mathematical basis for most of the mathematical work on computer viruses to date, including the formal definition, proof of undecidability, properties of viruses and viral sets, and proof that transitivity, Turing capability, and sharing lead to viral spread.]

Overview Drill Down