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