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