Automated Reasoning for Security Protocol Analysis and Is... Armando, Alessandro / Lowe, Gavin Oxford University, UK (Co-chair) Catherine Meadows Naval Research Laboratory, USA John Mitchell Stanford University, USA CHF 93.00 In Warenkorb legen