Alessandro Aldini
Identifiers
- Open LibraryOL6928260A
Top Subjects
- Data protection (4)
- Computer science (2)
- Data encryption (Computer science) (2)
- Logic design (2)
- Information Systems (2)
- Computer networks (2)
- Computer security (2)
Books by Alessandro Aldini
Total count: 13
-
Foundations of Security Analysis and Design IIIFOSAD 2004/2005 Tutorial LecturesSpringer London, Limited2005-01-01
-
Foundations of Security Analysis and DesignFOSAD 2006/2007 Turtorial LecturesSpringer London, Limited2007-01-01
Foundations of Security Analysis and Design VFOSAD 2007/2008/2009 Tutorial LecturesSpringer Berlin Heidelberg2009-01-01-
Formal Methods for Quantitative Aspects of Programming Languages10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced LecturesSpringer London, Limited2010-01-01
A process algebraic approach to software architecture designSpringer2010-01-01-
Computer Performance Engineering7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, ProceedingsSpringer London, Limited2010-01-01
Foundations of Security Analysis and Design VIFOSAD Tutorial LecturesSpringer-Verlag GmbH Berlin Heidelberg2011-01-01-
Foundations of Security Analysis and Design VIIFOSAD 2012 / 2013 Tutorial LecturesSpringer London, Limited2014-01-01
-
User-Centric NetworkingFuture PerspectivesSpringer London, Limited2014-01-01
-
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected PapersSpringer London, Limited2015-01-01
-
Data Privacy Management, and Security Assurance10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected PapersSpringer London, Limited2016-01-01
Foundations of Security Analysis and Design VIIIFOSAD 2014/2015/2016 Tutorial LecturesSpringer2016-08-14-
Software Engineering and Formal Methods. SEFM 2023 Collocated WorkshopsCIFMA 2023 and OpenCERT 2023, Eindhoven, the Netherlands, November 6-10, 2023, Revised Selected PapersSpringer2024-01-01