Modeling Attack-Defense Trees’ Countermeasures Using Continuous Time Markov Chains - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021
Fichier non déposé

Dates et versions

hal-04108272 , version 1 (26-05-2023)

Identifiants

Citer

Karim Lounis, Samir Ouchani. Modeling Attack-Defense Trees’ Countermeasures Using Continuous Time Markov Chains. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, Sep 2020, Amsterdam, Netherlands. pp.30-42, ⟨10.1007/978-3-030-67220-1_3⟩. ⟨hal-04108272⟩
34 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More