Your search returned the following document:

1. On Name Generation and Set-Based Analysis in the Dolev-Yao Model
   Witold Charatonik and Roberto Amadio
   In: CONCUR 2002 - Concurrency Theory. 13th International Conference, Brno, Czech Republic, 2002, 499-514