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

Permalink: http://www.nusl.cz/ntk/nusl-573403


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses