Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures / - Aldini, Alessandro.; Gorrieri, Roberto.; Martinelli, Fabio. (Springer, 2005)