Foundations of security analysis and design III FOSAD 2004/2005 tutorial lectures - Aldini, Alessandro; Gorrieri, Roberto; Martinelli, Fabio (Lecture Notes in Computer Science,, 2005)