Foundations of Security Analysis and Design : FOSAD 2006/2007 Turtorial Lectures - Alessandro Aldini, Roberto Gorrieri ((Lecture Notes in Computer Science))