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