Název:
Návrh zero-knowledge protokolů
Překlad názvu:
Design of Zero-Knowledge Protocols
Autoři:
Šafář, Jan ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2010
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [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.
Klíčová slova:
automatizovaný návrh protokolů; návrh bezpečnostních protokolů; zero knowledge; automated protocol design; security protocol design; zero knowledge
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/54398