Foundations of Security Analysis and Design VII - Aldini; Lopez, Javier; Martinelli, Fabio (Springer International Publishing, 2014)