@phdthesis{sun:tel-04095346, TITLE = {{Mod{\'e}lisation et analyse formelle de mod{\`e}les syst{\`e}me pour les menaces persistantes avanc{\'e}es}}, AUTHOR = {Sun, Tithnara Nicolas}, URL = {https://theses.hal.science/tel-04095346}, NUMBER = {2022ENTA0004}, SCHOOL = {{ENSTA Bretagne - {\'E}cole nationale sup{\'e}rieure de techniques avanc{\'e}es Bretagne}}, YEAR = {2022}, MONTH = May, KEYWORDS = {Cyber-security ; Modeling ; Model federation ; Formal analysis ; Model-checking ; Advanced persistent threat ; Pimca Language ; Cyber-s{\'e}curit{\'e} ; Mod{\'e}lisation ; F{\'e}d{\'e}ration de mod{\`e}les ; Analyse formelle ; Model-checking ; Advanced Persistent Threat ; Langage Pimca}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-04095346/file/2022TithnaraNicolasSun.pdf}, HAL_ID = {tel-04095346}, HAL_VERSION = {v1}, }