Alessandro Aldini Roberto Gorrieri Fabio Martinelli Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures 3655 2005 3-540-28955-0 FOSAD Lecture Notes in Computer Science Springer db/conf/fosad/fosad2005.html