Computational aspects of computer viruses

This paper formally defines a class of sets of transitive integrity-corrupting mechanisms called ''viral sets'' and explores some of their computational properties.