An improved constraint-based system for the verification of security protocols (2002)

by Ricardo Corin , Sandro Etalle
Venue:9TH INT. STATIC ANALYSIS SYMP. (SAS), VOLUME LNCS 2477
Citations:52 - 14 self