Foundations of Security Analysis and Design
FOSAD 2011
Alessandro Aldini, Roberto Gorrieri (Eds.):
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures.
Lecture Notes in Computer Science 6858 Springer 2011, ISBN 978-3-642-23081-3
Contents 
FOSAD 2007/2008/2009
Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (Eds.):
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures.
Lecture Notes in Computer Science 5705 Springer 2009, ISBN 978-3-642-03828-0
Contents
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
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
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
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
Last update Fri May 25 08:14:19 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
