Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Virologie informatique

Matthieu Kaczmarek 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/inria-00176232
Contributor : Matthieu Kaczmarek <>
Submitted on : Friday, November 2, 2007 - 11:33:58 AM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM
Document(s) archivé(s) le : Thursday, September 27, 2012 - 12:35:22 PM

File

kaczmarek.memoire_virologie_in...
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00176232, version 1

Collections

Citation

Matthieu Kaczmarek. Virologie informatique. 2005. ⟨inria-00176232⟩

Share

Metrics

Record views

243

Files downloads

1103