Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Gavin Lowe - E-bok | Bokus