Foundations of Security Analysis and Design V - Aldini, Alessandro; Barthe, Gilles; Gorrieri, Roberto; Kanade, Takeo (Springer Berlin Heidelberg, 2009)