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