Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Armando, Alessandro; Kanade, Takeo; Lowe, Gavin; Kittler, Josef (Springer Berlin Heidelberg, 2010)