Formal Definition of Generalized Virus and Its Identifying Algorithm
He Hong · Chinese Journal of Computers · 2010
The definition of malicious software is a hot in security domain.Malicious software includes virus,worm and Trojan horse.There is now only formal definition of virus,and no widely accepted formal definitions of worm and Trojan horse.According to definition of traditional virus,there is no algorithm to identify virus definitely.This paper proposes that whether a program code is virus is relative to user,and only those bringing damage to user are viruses.The paper distinguishes viruses to explicit virus and hidden virus based on user's intention,and presents a formal definition of explicit virus and its identifying algorithm.Both theoretical analysis and actual cases study indicates that traditional virus,most of worm,and Trojan horse are explicit viruses.