Des fondements de la virologie informatique vers une immunologie formelle

Abstract : This dissertation tackles three topics: the formalization of the computer virology, the construction of protections against self-reproduction and the issue of malware detection. We propose a formalization that is based over computer science foundations and over the founder works of the discipline. We obtain a generic framework where the recursion theorem takes a key role. This theorem is seen as computer virus compiler, this approach provides a new programming perspective. The sound basis of this framework allows to study new protection strategies. First, we analyze the relations between the notion of self-reproduction and the computation capabilities. We aims at identifying a reasonable model of computation where self-reproduction is impossible. Then we propose two defense strategies based on the Kolmogorov complexity, a tool which relates the semantics to the concrete syntax of programming languages. We treat the issue of malware detection in two steps. First, we study the difficulty related to the detection of several scenarios of computer infection. Second, we present a malware detector that was designed during the thesis. It is based on a morphological detection which allies syntaxical and semantical criteria to identify the shapes of malware
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01748706
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 11:46:44 AM
Last modification on : Tuesday, April 24, 2018 - 1:31:00 PM
Long-term archiving on : Friday, September 14, 2018 - 2:05:51 AM

File

2008_KACZMAREK_M.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01748706, version 1

Collections

Citation

Matthieu Kaczmarek. Des fondements de la virologie informatique vers une immunologie formelle. Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL097N⟩. ⟨tel-01748706⟩

Share

Metrics

Record views

33

Files downloads

45