Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - e-bok, Engelska, 2010