Alessandro Aldini Gilles Barthe Roberto Gorrieri Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 5705 2009 http://dx.doi.org/10.1007/978-3-642-03829-7 978-3-642-03828-0 FOSAD Lecture Notes in Computer Science Springer db/conf/fosad/fosad2009.html