Engineering Secure Future Internet Services and Systems Current Research - Heisel, Maritta; Joosen, Wouter; Lopez, Javier; Martinelli, Fabio (Springer International Publishing : Imprint: Springer, 2014)