TY - BOOK
AU - Küsters, Ralf
TI - On the decidability of cryptographic group protocols
PB - Inst. f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel
PY - 2002
BT - Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel ; 0201
CY - Kiel
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation