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

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


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