An Improved Constraint-Based System for the Verification of Security Protocols.

Ricardo Corin, Sandro Etalle

Browse the full SAS paper archive.