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