Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures - Aldini, Alessandro; Lopez, Javier; Martinelli, Fabio (Springer International Publishing : Imprint: Springer, 2016)