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

by R Corin, S Etalle
Venue:In Proceedings of the 9th Static Analysis Symposium (SAS’02), volume 2477 of LNCS