Foundations of Security Analysis and Design III - International School on Foundations of Security Analysis and Design; Aldini, Alessandro; Gorrieri, Roberto; Kanade, Takeo; Martinelli, Fabio (Springer Berlin / Heidelberg, 2005)