Author :
Thimbleby, Harold ; Anderson, Stuart
Author_Institution :
Dept. of Comput. Sci., Stirling Univ., UK
Abstract :
There is a growing body of literature on computer viruses; yet to date this has brought little clarity to the study of the phenomenon. The paper identifies the salient characteristics of computer viruses, reviews the worth of formal proofs about viruses in the light of these characteristics, and, finally, makes some suggestions on how systems might be made more resistant to viral infection
Keywords :
Turing machines; computer viruses; formal logic; computer viruses; formal proofs; resistant; viral infection; virus theory;
Conference_Titel :
Viruses and their Impact on Future Computing Systems, IEE Colloquium on
Conference_Location :
London
