> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: On the decidability of cryptographic protocols with open ended Data structures Beteiligte: Küsters, Ralf [VerfasserIn] Erschienen: Kiel: Inst.f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2002 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 0204 Umfang: 45 S. Sprache: Englisch Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Christian-Albrechts-Universität zu Kiel / Institut für Informatik und Praktische Mathematik: Bericht