Název:
Metody návrhu bezpečnostních protokolů
Překlad názvu:
Methods of the Security Protocols Design
Autoři:
Hranáč, Jakub ; Ryšavý, Ondřej (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]
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.
Klíčová slova:
automatizace; Bezpečnostní protokol; implementace; logika; metody; návrh; porovnání; vlastnictví zpráv; automatic; comparison; design; implementation; logic; message ownership; methods; Security protocol
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/54363