Media type: Book Title: On the decidability of cryptographic protocols with open ended Data structures Contributor: Küsters, Ralf [Author] Published: Kiel: Inst.f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2002 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 0204 Extent: 45 S. Language: English Origination: Footnote: