A general definition of malware
A general definition of malware
复制标题
恶意软件的一般定义
DOI：
10.1007/s11416-009-0137-1
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Kramer S
中科院分区：
文献类型：
--
作者：
Kramer S
我们提出了一种通用的、形式化的定义，将恶意软件(恶意软件)的概念定义为某种模式逻辑语言中的一句话。我们的定义是通用的，这要归功于它的抽象表述，它是抽象的，独立于恶意软件的多种具体表现，但仍然普遍适用于恶意软件。从我们的恶意软件公式中，我们得出了本软件(良性软件)、反恶意软件(针对恶意软件的“抗体”)和媒体软件(受影响软件的医疗软件或“药物”)同样通用和正式的定义。为恶意软件及其衍生产品的检测、比较和分类提供了理论工具和实用技术。我们的一般定义原则是正确的因果关系。
We propose a general, formal definition of the concept ofmalware(malicious software) as a single sentence in the language of a certainmodal logic. Our definition is general thanks to its abstract formulation, which, being abstract, is independent of—but nonetheless generally applicable to—the manifold concrete manifestations of malware. From our formulation of malware, we derive equally general and formal definitions ofbenware(benign software),anti-malware(“antibodies” against malware), andmedware(medical softwareor “medicine” for affected software). We provide theoretical tools and practical techniques for thedetection,comparison, andclassificationof malware and its derivatives. Our general defining principle iscausation of (in)correctness.
登录
查看更多内容
计算机安全基础
DOI：
--
发表时间：
2005
期刊：
影响因子：
--
作者：
D. Salomon
通讯作者：
D. Salomon
计算机病毒的抽象理论
DOI：
--
发表时间：
1988
期刊：
Annual International Cryptology Conference
影响因子：
--
作者：
L. Adleman
通讯作者：
L. Adleman
模态 μ 微积分与非良基集合论
影响因子：
1.5
作者：
L. Alberucci;Vincenzo Salipante
通讯作者：
Vincenzo Salipante
DOI：
10.1016/s1570-2464(07)80008-5
发表时间：
2007
期刊：
--
影响因子：
--
作者：
V. Goranko;M. Otto
通讯作者：
V. Goranko;M. Otto
没有安全的病毒测试
DOI：
--
发表时间：
1989
期刊：
影响因子：
--
作者：
William F. Dowling
通讯作者：
William F. Dowling