"This book presents a collection of tutorial papers accompanying lectures from the last three editions of the International School on Foundations of Security Analysis and Design (FOSAD)"--Pref.
Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures. ISBN 9783642038280. Published by Springer in 2009. Publication and catalogue information, links to buy online and reader comments.