Foundations of security analysis and design IV FOSAD 2006/2007 tutorial lectures /

gan International School on Foundations of Security Analysis and Design, Aldini, Alessandro., Gorrieri, Roberto.
Cyhoeddwyd 2007

Foundations of security analysis and design VI FOSAD tutorial lectures /

gan International School on Foundations of Security Analysis and Design, Aldini, Alessandro., Gorrieri, Roberto.
Cyhoeddwyd 2011