From attack trees to timed stochastic games: A novel intrusion response approach. - Tommaso Caiazzi; Stefano Iannucci; Valerio Marini; Matteo Foschi; Riccardo Torlone (Comput. Secur., 2026)