Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Metody návrhu bezpečnostních protokolů
Hranáč, Jakub ; Ryšavý, Ondřej (oponent) ; Očenášek, Pavel (vedoucí práce)
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.
Metody návrhu bezpečnostních protokolů
Hranáč, Jakub ; Ryšavý, Ondřej (oponent) ; Očenášek, Pavel (vedoucí práce)
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.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.