Engineering Secure Future Internet Services and Systems - Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli; Joosen, Wouter; López, Javier; Martinelli, Fabio (Springer International Publishing, 2014)