Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures - Aldini, Alessandro; Barthe, Gilles; Gorrieri, Roberto (Springer Berlin Heidelberg : Imprint: Springer, 2009)