On the Reachability Problem in Cryptographic Protocols.

Roberto M. Amadio, Denis Lugiez

Browse the full CONCUR paper archive.