Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures - Alessandro Aldini, Gilles Barthe, Roberto Gorrieri ((Lecture Notes in Computer Science))