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