An Improved Constraint-Based System for the Verification of Security Protocols (2002)

by R Corin, S Etalle
Venue:In Proceedings of SAS 2002, LNCS 2477