On name generation and set-based analysis in the dolev-yao model (2002)

by R M Amadio, W Charatonik
Venue:in: 13th International Conference on Concurrency Theory, CONCUR, volume 2421 of LNCS