University of Twente The Netherlands Centre for Telematics and Information Technology Verification of Security Protocols Sandro Etalle [email protected].
University of Twente The Netherlands Centre for Telematics and Information Technology Design, Analysis and Verification of Security Protocols Ricardo Corin.
University of Twente The Netherlands Centre for Telematics and Information Technology Constraint Logic Programming for Verifying Security Protocols Sandro.
7 June 2004 DIMACS P Y A Ryan Formal Methods and Protocol Analysis 1 Peter Y A Ryan University of Newcastle.