Modeling Moving Target Defense strategies and attacks with SAN and ADVISE. - Francesco Mariotti; Lorenzo Manetti; Paolo Lollini (ISSREW, 2023)