BibTex format
@article{Buczkowski:2022:10.1145/3510547.3517919,
author = {Buczkowski, P and Malacaria, P and Hankin, C and Fielder, A},
doi = {10.1145/3510547.3517919},
journal = {SAT-CPS'22: PROCEEDINGS OF THE 2022 ACM WORKSHOP ON SECURE AND TRUSTWORTHY CYBER-PHYSICAL SYSTEMS},
pages = {21--30},
title = {Optimal Security Hardening over a Probabilistic Attack Graph},
url = {http://dx.doi.org/10.1145/3510547.3517919},
year = {2022}
}