Engineering Secure Software and Systems - Payer, Mathias (Springer International Publishing, 2020)