School on Foundations of Security Analysis and Design, 3-8 September 2012, Bertinoro, Italyhttp://www.sti.uniurb.it/events/fosad12This year edition is organized in cooperation with NESSoS project.