TY - RPRT TI - Optimal security hardening over a probabilistic attack graph: a case study of an industrial control system using the CySecTool tool AU - Przemysław Buczkowski AU - Pasquale Malacaria AU - Chris Hankin AU - Andrew Fielder PY - 2022 DO - 10.1145/3510547.3517919 UR - https://arxiv.org/abs/2204.11707 ID - 2204.11707 ER -