Foundations of security analysis and design
/
2, FOSAD 2001/2002 tutorial lectures ; [International School on Foundations of Security Analysis and Design, 17 - 29 September 2001, 23 - 27 September 2002, Bertinoro, Italy] / Riccardo Focardi ... (ed.) - 2004