Engineering Secure Software and Systems - Juan Caballero, Eric Bodden, Elias Athanasopoulos; Athanasopoulos, Elias; Bodden, Eric (Springer International Publishing, 2016)