On the decidability of cryptographic group protocols. : Bericht Nr. 0201. February 2002. /

Saved in:
Bibliographic Details
Main Author: Kuesters, Ralf (Author)
Format: Book
Language:English
Published: Kiel : Institut für Informatik und Praktische Mathematik der Christian-Alberts-Universität, 2002
Edition:1. vyd.
Subjects:
ISBN: (brož.)
Physical Description: 37 s.
Tags: Add Tag
No Tags, Be the first to tag this record!