Foundations and Practice of Security - Cuppens; Cuppens-Boulahia, Nora; Garcia-Alfaro, Joaquin; Tawbi, Nadia; Wang, Lingyu (Springer International Publishing, 2017)