Progressive attack graph: a technique for scalable and adaptive attack graph generation. - Alessandro Palma; Claudio Cicimurri; Marco Angelini (Int. J. Inf. Sec., 2025)