Containment Strategy Formalism in a Probabilistic Threat Modelling Framework Topics: Access and Usage Control; Authentication, Privacy and Security Models; Vulnerability Analysis and Countermeasures In Proceedings of the 8th International Conference on Information Systems Security and Privacy ICISSP - Volume 1, 108-120, 2022