Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security by Alessandro Armando | Menrva Books | MenrvaBooks