BDMPathfinder: a tool for exploring attack paths in models defined by Boolean logic Driven Markov Processes: Short Paper

Security officers employ adversarial modelling techniques to drive analysis over complex attack surfaces. One technique for modelling safety and security is Attack Trees (AT) that uses logic gates to address the likelihood of malicious actions and outcomes. However, attack progression over time is not considered in AT analysis. To cope with this, the formalism of Boolean logic Driven Markov Proces...