Abstract Detection of Computer Viruses - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2005

Abstract Detection of Computer Viruses

Guillaume Bonfante
  • Fonction : Auteur
  • PersonId : 830993
Linear logic, proof networks and categorial grammars
Matthieu Kaczmarek
  • Fonction : Auteur
  • PersonId : 836749
Linear logic, proof networks and categorial grammars
Jean-Yves Marion
Linear logic, proof networks and categorial grammars

Résumé

This short paper treat detection of computer viruses from a theoretical point of view. It is based on a generalization of Adleman formalism. Classic results on detection are analyzed.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
APPSEM05.pdf (134.17 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Matthieu Kaczmarek  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00115368

Soumis le : mardi 21 novembre 2006-11:27:00

Dernière modification le : vendredi 24 mars 2023-14:52:48

Archivage à long terme le : mardi 6 avril 2010-23:06:56

Télécharger pour visualiser

Dates et versions

inria-00115368 , version 1 (21-11-2006)

Identifiants

  • HAL Id : inria-00115368 , version 1

Citer

Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. Abstract Detection of Computer Viruses. Third Workshop on Applied Semantics - APPSEM'05, Sep 2005, Frauenchiemsee, Germany. ⟨inria-00115368⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LHS
164 Consultations
1110 Téléchargements

Partager

More