|
|
Databáze specifikací bezpečnostních protokolů
Ondráček, David ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Původní protokoly, které vznikaly v počátcích vývoje počítačových sítí, již nejsou pro zajištění potřebné bezpečnosti dostačující. Proto se stále vyvíjejí a implementují protokoly nové. Důležitou součástí tohoto procesu je formální verifikace. Jde o analýzu protokolu po formální stránce, kdy se zjišťuje, zda lze protokol úspěšně napadnout. Diplomová práce se zabývá analýzou vybraných bezpečnostních protokolů a nástrojů pro jejich formální verifikaci. Výstupem praktické části je databáze specifikací protokolů v LySa kalkulu a výsledky jejich verifikace nástrojem LySatool.
|
|
|
Analýza a rekonstrukce komunikace typu Instant Messaging (YMSG a ICQ)
Pluskal, Jan ; Polčák, Libor (oponent) ; Veselý, Vladimír (vedoucí práce)
Cílem této bakalářské práce je analýza a rekonstrukce instantní komunikace protokoly YMSG a ICQ. Práce obsahuje detailní popis struktury těchto protokolů a přenášených zpráv významných pro rekonstrukci. Dále je popsáno vytvoření experimentálního nástroje pro rekonstrukci YMSG komunikace, kterým je ověřena správnost analýzy tohoto protokolu. Pro oba protokoly jsou taktéž vytvořeny popisy v jazyce NPL, které jsou použity v nástroji pro analýzu komunikace MS Network Monitoru.
|
|
|
Analýza a rekonstrukce komunikace typu Instant Messaging (YMSG a ICQ)
Pluskal, Jan ; Polčák, Libor (oponent) ; Veselý, Vladimír (vedoucí práce)
Cílem této bakalářské práce je analýza a rekonstrukce instantní komunikace protokoly YMSG a ICQ. Práce obsahuje detailní popis struktury těchto protokolů a přenášených zpráv významných pro rekonstrukci. Dále je popsáno vytvoření experimentálního nástroje pro rekonstrukci YMSG komunikace, kterým je ověřena správnost analýzy tohoto protokolu. Pro oba protokoly jsou taktéž vytvořeny popisy v jazyce NPL, které jsou použity v nástroji pro analýzu komunikace MS Network Monitoru.
|
|
|
Databáze specifikací bezpečnostních protokolů
Ondráček, David ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Původní protokoly, které vznikaly v počátcích vývoje počítačových sítí, již nejsou pro zajištění potřebné bezpečnosti dostačující. Proto se stále vyvíjejí a implementují protokoly nové. Důležitou součástí tohoto procesu je formální verifikace. Jde o analýzu protokolu po formální stránce, kdy se zjišťuje, zda lze protokol úspěšně napadnout. Diplomová práce se zabývá analýzou vybraných bezpečnostních protokolů a nástrojů pro jejich formální verifikaci. Výstupem praktické části je databáze specifikací protokolů v LySa kalkulu a výsledky jejich verifikace nástrojem LySatool.
|
|
|
Slovní výpovědi a protokolová analýza
Heller, Daniel
Autor se zabývá problematikou slovních výpovědí v psychologickém výzkumu, které jsou dnes již považovány za hlavní zdroj dat o kognitivních procesech subjektu. Staly se standardní výzkumnou metodou i v mnoha aplikačních oblastech psychologie. Autor rozlišuje mezi myšlením nahlas a verbálním vysvětlením jednotlivých kroků řešení problému. Zabývá se efekty verbalizace, problémem úplnosti výpovědí, závěry vyvozovanými z verbálních dat, Ericssonovým a Simonovým modelem verbalizace, metodami a technikami protokolové analýzy. Slovní výpovědi jsou bohatým zdrojem dat, efektivně kombinovatelné s jinými daty, a mohou mít velkou hodnotu při vytváření integrované a úplné představy nejen o kognitivních procesech a strukturách. Jsou uvedena praktická doporučení pro získávání různých typů slovních výpovědí za standardních podmínek, které mohou být podrobeny protokolové analýze s cílem přispět k rozvoji psychologického poznání myšlenkových procesů.
|
host ::
RSS.