Original title:
Metody návrhu bezpečnostních protokolů
Translated title:
Methods of the Security Protocols Design
Authors:
Hranáč, Jakub ; Ryšavý, Ondřej (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]
Tato práce popisuje několik metod návrhu bezpečnostních protokolů. Metoda " A Simple Logic for Authentication Protocol Design" je následně implementována včetně vlastního rozšíření o počáteční vlastnictví zpráv a oprávnění zprávy přeposílat.
This project describes several methods suggested for security protocol design. The method named ' A Simple Logic for Authentication Protocol Design' is described in more detail and implemented including custom made addition defining the ownership of messages and rights to re-send those messages.
Keywords:
automatic; comparison; design; implementation; logic; message ownership; methods; Security protocol; automatizace; Bezpečnostní protokol; implementace; logika; metody; návrh; porovnání; vlastnictví zpráv
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/54363