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.
Type de document :
Pré-publication, Document de travail
2005
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00176232
Contributeur : Matthieu Kaczmarek <>
Soumis le : vendredi 2 novembre 2007 - 11:33:58
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 12:35:22

Fichier

kaczmarek.memoire_virologie_in...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00176232, version 1

Collections

Citation

Matthieu Kaczmarek. Virologie informatique. 2005. 〈inria-00176232〉

Partager

Métriques

Consultations de la notice

209

Téléchargements de fichiers

880