A general definition of malware

Simon Kramer 1 Julian C. Bradfield 2
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal 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 of benware (benign software), anti-malware ("antibodies" against malware), and medware (medical software or "medicine" for affected software). We provide theoretical tools and practical techniques for the detection, comparison, and classification of malware and its derivatives. Our general defining principle is causation of (in)correctness.
Type de document :
Article dans une revue
Journal in Computer Virology, Springer Verlag, 2010, 6 (2), pp.105-114
Liste complète des métadonnées

https://hal.inria.fr/hal-00772694
Contributeur : Catuscia Palamidessi <>
Soumis le : vendredi 11 janvier 2013 - 02:07:10
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

  • HAL Id : hal-00772694, version 1

Collections

Citation

Simon Kramer, Julian C. Bradfield. A general definition of malware. Journal in Computer Virology, Springer Verlag, 2010, 6 (2), pp.105-114. 〈hal-00772694〉

Partager

Métriques

Consultations de la notice

103