" Foundations of Security Analysis and Design III : " edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.