Foundations of Security Analysis and Design

FOSAD 2006/2007

Alessandro Aldini, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures. Lecture Notes in Computer Science 4677 Springer 2007, ISBN 978-3-540-74809-0
Contents BibTeX

FOSAD 2004/2005

Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (Eds.): Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Lecture Notes in Computer Science 3655 Springer 2005, ISBN 3-540-28955-0
Contents BibTeX

FOSAD 2001/2002

Riccardo Focardi, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures. Lecture Notes in Computer Science 2946 Springer 2004, ISBN 3-540-20955-7
Contents BibTeX

FOSAD 2000: Bertinoro, Italy

Riccardo Focardi, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000]. Lecture Notes in Computer Science 2171 Springer 2001, ISBN 3-540-42896-8
Contents BibTeX