@phdthesis{sun:tel-03889800, 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://hal.science/tel-03889800}, SCHOOL = {{{\'E}cole nationale sup{\'e}rieure de techniques avanc{\'e}es Bretagne. (Minist{\`e}re de la D{\'e}fense)}}, YEAR = {2022}, MONTH = May, KEYWORDS = {Cyber-security ; Modeling ; Model Federation ; Formal Analysis ; Model-Checking ; Advanced Persistent Threat ; Cyber-s{\'e}curit{\'e} ; Mod{\'e}lisation ; F{\'e}d{\'e}ration de Mod{\`e}les ; Analyse Formelle ; Model-Checking ; Advanced Persistent Threat}, TYPE = {Theses}, PDF = {https://hal.science/tel-03889800/file/Mod_lisation_et_Analyse_Formelle_de_Mod_les_Syst_me_pour_les_Menaces_Persistantes_Avanc_es.pdf}, HAL_ID = {tel-03889800}, HAL_VERSION = {v1}, }