Foundations of Security Analysis and Design. Tutorial Lectures: Lecture Notes in Computer Science Vol.2171(2001) (1652672541)