Slide 1University of Twente The Netherlands Centre for Telematics and Information Technology Verification of Security Protocols Sandro Etalle [email protected] Slide 2…