Foundations and Practice of Security - Gabriela Nicolescu, Assia Tria, José M. Fernandez, Jean-Yves Marion, Joaquin Garcia-Alfaro (Springer, 2021)