Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures - Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli ((Lecture Notes in Computer Science))