Your search returned the following document:
-
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