@book{ Solr-MUB01000527022, title = {Foundations of security analysis and design : FOSAD 2006/2007 tutorial lectures.}, series = {Lecture notes in computer science ;}, editor = {Aldini, Alessandro}, editor = {Gorrieri, Roberto, 1962-}, address = {Berlin}, publisher = {Springer}, year = {2007}, }