Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures - Aldini, Alessandro; Gorrieri, Roberto; Martinelli, Fabio (Springer Berlin Heidelberg, 2005)