School on Foundations of Security Analysis and Design, 29 August - 3 September 2011, Bertinoro, Italy http://www.sti.uniurb.it/events/fosad11This year edition is organized in cooperation with NESSoS project.