Foundations of Security Analysis and Design VIII - Aldini, Alessandro;Lopez, Javier;Martinelli, Fabio (Springer International Publishing, 2016)