Riccardo Focardi Roberto Gorrieri Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures FOSAD Lecture Notes in Computer Science 2946 Springer 2004 3-540-20955-7 db/conf/fosad/fosad2002.html