Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures - Aldini, Alessandro; Gorrieri, Roberto (Springer Berlin Heidelberg, 2007)