Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde. Reasoning about Moving Target Defense in Attack Modeling Formalisms. In Hamed Okhravi, Cliff Wang, editors, Proceedings of the 9th ACM Workshop on Moving Target Defense, MTD 2022, Los Angeles, CA, USA, 7 November 2022. pages 55-65, ACM, 2022. [doi]
Abstract is missing.