Foundations of Security Analysis and Design II : FOSAD 2001/2002 Tutorial Lectures - Riccardo Focardi, Roberto Gorrieri ((Lecture Notes in Computer Science))