@misc{indiciaec115c0897c8f,
  title = {Reasoning about Moving Target Defense in Attack Modeling Formalisms},
  author = {Gabriel Ballot and Vadim Malvone and Jean Leneutre and Etienne Borde},
  year = {2022},
  url = {https://arxiv.org/abs/2206.14076},
  note = {Source identifier: 2206.14076}
}