Foundations of security analysis and design II FOSAD 2001/2002 Tutorial Lectures (Springer, 2004)