Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures - Alessandro Aldini, Roberto Gorrieri ((Lecture Notes in Computer Science))