Threat Modelling of Cyber–Physical Systems Using an Applied π -Calculus
Research article (International Journal of Critical Infrastructure Protection, 2021) · cited 13× · AI/ML