Security protocols : - Christianson, Bruce (Lecture notes in computer science, 2001)