Skip to Main content Skip to Navigation
Conference papers

Abstract Detection of Computer Viruses

Guillaume Bonfante 1 Matthieu Kaczmarek 1 Jean-Yves Marion 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Keywords : Computer virology computability recursion theorem iteration theorem detection
Document type :
Conference papers
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download
https://hal.inria.fr/inria-00115368
Contributor : Matthieu Kaczmarek <>
Submitted on : Tuesday, November 21, 2006 - 11:27:00 AM
Last modification on : Tuesday, May 5, 2020 - 5:02:11 PM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 11:06:56 PM

File

Vignette du document
APPSEM05.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00115368, version 1

Collections

INRIA | CNRS | LORIA | UNIV-LORRAINE

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

206

Files downloads

1622

 

Contact                    Legal Notice                    Personal Data