default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFoundations of Security Analysis and Design (FOSAD)
14th FOSAD 2014 / 15th FOSAD 2015 / 16th FOSAD 2016: Bertinoro, Italy
- Alessandro Aldini
, Javier López, Fabio Martinelli:
Foundations of Security Analysis and Design VIII - FOSAD 2014/2015/2016 Tutorial Lectures. Lecture Notes in Computer Science 9808, Springer 2016, ISBN 978-3-319-43004-1 [contents]
12th FOSAD 2012 / 13th FOSAD 2013: Bertinoro, Italy
- Alessandro Aldini, Javier López, Fabio Martinelli:
Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures. Lecture Notes in Computer Science 8604, Springer 2014, ISBN 978-3-319-10081-4 [contents]
10th FOSAD 2010 / 11th FOSAD 2011: Bertinoro, Italy
- Alessandro Aldini, Roberto Gorrieri:
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]
8th FOSAD 2008 Italy / 9th FOSAD 2009: Bertinoro, Italy
- Alessandro Aldini, Gilles Barthe, Roberto Gorrieri:
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] - Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008. Electronic Notes in Theoretical Computer Science 236, Elsevier 2009 [contents]
6th FOSAD 2006 / 7th FOSAD 2007: Bertinoro, Italy
- Alessandro Aldini, Roberto Gorrieri:
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] - Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006. Electronic Notes in Theoretical Computer Science 168, Elsevier 2007 [contents]
4th FOSAD 2004 / 5th FOSAD 2005: Bertinoro, Italy
- Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli:
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] - Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004. Electronic Notes in Theoretical Computer Science 142, Elsevier 2006 [contents]
2nd FOSAD 2001 / 3rd FOSAD 2002: Bertinoro, Italy
- Riccardo Focardi, Roberto Gorrieri:
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]
1st FOSAD 2000: Bertinoro, Italy
- Riccardo Focardi, Roberto Gorrieri:
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]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
