Containment Strategy Formalism in a Probabilistic Threat Modelling Framework. - Per Fahlander; Mathias Ekstedt; Preetam Mukherjee 001; Ashish Kumar Dwivedi (ICISSP, 2022)