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

Titel:

Verantwortlich:

Küsters, Ralf

Veröffentlicht:

Kiel : Universitätsbibliothek Kiel, 2002

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

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

Zusatz-Informationen