Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains.

Karim Lounis, Samir Ouchani

Browse the full SEFM paper archive.