Browsing 2006 by Author "Ptáček, Michal"
Now showing items 1-1 of 1
-
Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů
Ptáček, MichalTato diplomová práce se zabývá analýzou verifikačních nástrojů, které jsou používané pro automatickou verifikaci převážně bezpečnostních protokolů. Bezpečnostní protokoly se používají pro vytvoření privátních komunikačních ...