Hal will be stopped for maintenance from friday on june 10 at 4pm until monday june 13 at 9am. More information
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/inria-00115368
Contributor : Matthieu Kaczmarek Connect in order to contact the contributor
Submitted on : Tuesday, November 21, 2006 - 11:27:00 AM
Last modification on : Friday, February 4, 2022 - 3:30:25 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 11:06:56 PM

File

APPSEM05.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00115368, version 1

Collections

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⟩

Share

Metrics

Record views

108

Files downloads

1009