Modeling attack-defense trees' countermeasures using continuous time Markov chains

DOI10.1007/978-3-030-67220-1_3zbMath1474.68038OpenAlexW3123583891MaRDI QIDQ2234048

Karim Lounis, Samir Ouchani

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-67220-1_3

zbMATH Keywords

stochastic modelsquantitative security assessmentCTMCsattack-defense treessecurity graphical models

Mathematics Subject Classification ID

Continuous-time Markov processes on discrete state spaces (60J27) Computer security (68M25)

This page was built for publication: Modeling attack-defense trees' countermeasures using continuous time Markov chains