Formal models and techniques for analyzing security protocols by Véronique Cortier | Menrva Books | MenrvaBooks