selected publications
-
conference paper
- Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes). . 2852-2861. 2010
- Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP). European Dependable Computing Conference. 199-208. 2010