Foundations of Security Analysis and Design
FOSAD 2011
Alessandro Aldini, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures. Springer 2011 Lecture Notes in Computer Science 6858 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. Springer 2009 Lecture Notes in Computer Science 5705 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. Springer 2007 Lecture Notes in Computer Science 4677 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. Springer 2005 Lecture Notes in Computer Science 3655 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. Springer 2004 Lecture Notes in Computer Science 2946 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]. Springer 2001 Lecture Notes in Computer Science 2171 ISBN 3-540-42896-8 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team