1
Data Privacy Management, and Security Assurance [E-Book] : 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers /
2
Foundations of Security Analysis and Design VIII [E-Book] : FOSAD 2014/2015/2016 Tutorial Lectures /
3
Data Privacy Management and Security Assurance [E-Book] : 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings /
4
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance [E-Book] : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers /
5
Foundations of Security Analysis and Design VII [E-Book] : FOSAD 2012/2013 Tutorial Lectures /
6
Foundations of Security Analysis and Design VI [E-Book] : FOSAD Tutorial Lectures /
7
Formal Methods for Quantitative Aspects of Programming Languages [E-Book] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
8
A Process Algebraic Approach to Software Architecture Design [E-Book] /
9
Foundations of Security Analysis and Design V [E-Book] : FOSAD 2007/2008/2009 Tutorial Lectures /
10
Foundations of Security Analysis and Design IV [E-Book] : FOSAD 2006/2007 Tutorial Lectures /
11
Foundations of Security Analysis and Design III [E-Book] / FOSAD 2004/2005 Tutorial Lectures