摘要
从程序语言的角度出发,应用一一映射的方法,建立起计算机病毒规范与运行条件的同构模型.在此基础上,提出了计算机病毒运行条件的基于共性的分类方法,并给出了其在病毒防范领域中的应用方法.该分类法的应用领域包括:软件开发人员的参考指南,计算机软件工程领域的研究素材,以及病毒测试人员或审计人员的"条件核查列表".
This paper presents a structured taxonomy of computer viruses' execution requirements from a computer languages' point of view according to their common features, which is grounded in a isomorphic model structured with characteristics of computer languages and established between the requirements and constraints of computer viruses' program by using a one - one map method that present a corresponding relationship between the set of constraints and the set of requirements. Through the taxonomy, three effective approaches for anti - virus management are prop- osed. Such taxonomy can serve as an aid for software developers, as a material for studies in software engineering field, or as a"checklist"for computer viruses testers or auditors.
出处
《佳木斯大学学报(自然科学版)》
CAS
2008年第2期206-209,共4页
Journal of Jiamusi University:Natural Science Edition
关键词
计算机病毒
分类方法
运行条件
同构模型
病毒防治
computer viruses
taxonomy
execution requirements
isomorphic model
anti - virus management