Virologie informatique - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2005

Virologie informatique

Abstract

Nous nous intéressons à l'aspect théorique des virus informatiques. Pour cela nous proposons une définition fondée sur les théorèmes d'itération et de récursion. Nous montrons qu'elle capture naturellement les définitions antérieures et en particulier celle de L.~Adleman. Nous établissons une méthode générique de construction de virus et nous l'illustrons par quelques exemples. Nous mettons en avant les liens qu'entretiennent la spécialisation de programme et la propagation de virus. Finalement, nous étudions des stratégies de détection et de protection en nous appuyant sur les théories de la calculabilité et de l'information.
Fichier principal
Vignette du fichier
kaczmarek.memoire_virologie_informatique.pdf (1.18 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00176232 , version 1 (02-11-2007)

Identifiers

  • HAL Id : inria-00176232 , version 1

Cite

Matthieu Kaczmarek. Virologie informatique. 2005. ⟨inria-00176232⟩
201 View
653 Download

Share

Gmail Facebook X LinkedIn More