Engineering Secure Software and Systems - Piessens (Springer International Publishing, 2015)