Original title:
Návrh zero-knowledge protokolů
Translated title:
Design of Zero-Knowledge Protocols
Authors:
Šafář, Jan ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor) Document type: Master’s theses
Year:
2010
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Práce se zabývá automatizovanými metodami pro návrh bezpečnostních protokolů a jejich využitím pro návrh zero knowledge protokolů, nebo protokolů, kde je možné využít ZK protokoly jako subprotokoly. Konkrétně je kladen důraz na využití kompoziční metody. Práce také ukazuje možnou implementaci dané metody.
Thesis introduces automated methods of protocol design and their usability for zero knowledge protocol design or protocols, where ZK protocols are used as subprotocols. Especially composition method is described more in depth. Thesis shows also a sample implementation of this method.
Keywords:
automated protocol design; security protocol design; zero knowledge; automatizovaný návrh protokolů; návrh bezpečnostních protokolů; zero knowledge
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/54398