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 Lectures

Springer London, Limited2005-01-01
Foundations of Security Analysis and DesignFOSAD 2006/2007 Turtorial Lectures

Springer London, Limited2007-01-01
Foundations of Security Analysis and Design VFOSAD 2007/2008/2009 Tutorial Lectures

Springer 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 Lectures

Springer London, Limited2010-01-01
A process algebraic approach to software architecture design

Springer2010-01-01
Computer Performance Engineering7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

Springer London, Limited2010-01-01
Foundations of Security Analysis and Design VIFOSAD Tutorial Lectures

Springer-Verlag GmbH Berlin Heidelberg2011-01-01
Foundations of Security Analysis and Design VIIFOSAD 2012 / 2013 Tutorial Lectures

Springer London, Limited2014-01-01
User-Centric NetworkingFuture Perspectives

Springer 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 Papers

Springer 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 Papers

Springer London, Limited2016-01-01
Foundations of Security Analysis and Design VIIIFOSAD 2014/2015/2016 Tutorial Lectures

Springer2016-08-14
Software Engineering and Formal Methods. SEFM 2023 Collocated WorkshopsCIFMA 2023 and OpenCERT 2023, Eindhoven, the Netherlands, November 6-10, 2023, Revised Selected Papers

Springer2024-01-01