Media type: E-Article Title: CONCUR 2000 — Concurrency Theory: On the Reachability Problem in Cryptographic Protocols Contributor: Amadio, Roberto M.; Lugiez, Denis imprint: Springer Berlin Heidelberg, 2000 Published in: CONCUR 2000 — Concurrency Theory Language: Not determined DOI: 10.1007/3-540-44618-4_28 ISSN: 0302-9743 Origination: Footnote: