Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures - Aldini, Alessandro (Springer, 2005)