Result: On the Decidability of Cryptographic Protocols with Open-ended Data Structures

*Title*:

*Author/editor-in-chief*:

Küsters, Ralf

*Publication*:

Kiel : Universitätsbibliothek Kiel, 2002

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Technische Berichte des Instituts für Informatik der CAU Kiel ; 0204

*Other edition entry*:

Erscheint auch als: Küsters, Ralf: On the decidability of cryptographic protocols with open-ended data structures

*Result*: On the Decidability of Cryptographic Protocols with Open-ended Data Structures