Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures - Aldini, Alessandro; Gorrieri, Roberto (Springer Berlin Heidelberg : Imprint: Springer, 2011)