DocumentCode
280386
Title
Virus theory
Author
Thimbleby, Harold ; Anderson, Stuart
Author_Institution
Dept. of Comput. Sci., Stirling Univ., UK
fYear
1990
fDate
33165
Firstpage
42461
Lastpage
42465
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;
fLanguage
English
Publisher
iet
Conference_Titel
Viruses and their Impact on Future Computing Systems, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
190644
Link To Document