Original title:
Aplikační knihovna pro podporu návrhu komunikačních protokolů
Translated title:
Library of Functions for the Support of Communication Protocols Design
Authors:
Tomášek, Karel ; Trchalík, Roman (referee) ; Očenášek, Pavel (advisor) Document type: Master’s theses
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Bezpečnostní protokoly se používají pro zabezpečenou komunikaci přes nezabezpečenou síť. Tento dokument má za účel letmé seznámení s formálním popisem bezpečnostních protokolů, jednoduchým popisem několika protokolů a metodami návrhu bezpečnostních protokolů. Dále se zabývá popisem vytvořené knihovny a práce s ní.
Security protocols are used for establishing secure communication over insecure network. This document gives a brief introduction into description and formal specification in the area of security protocols design. It also includes description of the aplication library, its functions and methods how to use it.
Keywords:
authentication; communication; genetic algorithm; security protocol; symmetric and asymmetric cryptography; autentizace; bezpečnostní protokol; evoluční algoritmus; komunikace; symetrické a asymetrické šifrování
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/53958