Skip to Main content Skip to Navigation
Theses

On CARET model-checking of pushdown systems : application to malware detection

Résumé : Cette thèse s'attaque au problème de détection de malware en utilisant des techniques de model-checking: les automates à pile sont utilisés pour modéliser les programmes binaires, et la logique CARET (et ses variantes) sont utilisées pour représenter les comportements malicieux. La détection de malware est alors réduite au problème de model-checking des automates à pile par rapport à ces logiques CARET. Cette thèse propose alors différents algorithmes de model-checking des automates à pile par rapport à ces logiques CARET et montre comment ceci peut s'appliquer pour la détection de malware.
Document type :
Theses
Complete list of metadatas

Cited literature [42 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02167961
Contributor : Abes Star :  Contact
Submitted on : Friday, June 28, 2019 - 12:33:08 PM
Last modification on : Saturday, February 15, 2020 - 1:50:28 AM

File

NGUYEN_Huu-Vu_1_va_20180705.pd...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02167961, version 1

Collections

Citation

Huu Vu Nguyen. On CARET model-checking of pushdown systems : application to malware detection. Systems and Control [cs.SY]. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCC061⟩. ⟨tel-02167961⟩

Share

Metrics

Record views

155

Files downloads

112