Foundations of Security Analysis and Design II FOSAD 2001/2002 Tutorial Lectures - Focardi, Riccardo; Gorrieri, Roberto (Springer Berlin Heidelberg, 2004)