On Name Generation and Set-Based Analysis in the Dolev-Yao Model.

Roberto M. Amadio, Witold Charatonik

Browse the full CONCUR paper archive.