Foundations and Practice of Security - Benzekri; Barbeau, Michel; Garcia-Alfaro, Joaquin; Gong, Guang; Laborde, Romain (Springer International Publishing, 2020)