|
Symbolická reprezentace konečných automatů
Chromečka, Jiří ; Vojnar, Tomáš (oponent) ; Lengál, Ondřej (vedoucí práce)
V~oblasti formální analýzy se často setkáváme s~konečnými automaty s~velkým množstvím stavů nad velkými abecedami. Jejich explicitní reprezentace může vyústit ve stavovou explozi a~tento problém může být vyřešen použitím symbolické reprezentace schopné pracovat s~celou množinou stavů najednou. Cílem této práce je rozšířit knihovnu libVATA o~podporu této reprezentace včetně algoritmů pro některé operace nad touto reprezentací. Předložený text se v~úvodu zabývá předpoklady nezbytnými pro pochopení konečných automatů a~binárních rozhodovacích diagramů, které se využívají pro jejich symbolickou reprezentaci. Dále jsou uvedeny některé existující knihovny pro práci s~konečnými automaty. Následuje jádro této práce, návrh symbolické reprezentace a~operací nad ní, které jsou poté implementovány jako rozšíření zmíněné knihovny. Výsledky testů dokazují, že symbolická reprezentace je zajímavou alternativou explicitní reprezentace.
|
|
Analýza šifrovacích metod pro klonování disků
Chromečka, Jiří ; Černý, Martin (oponent) ; Drahanský, Martin (vedoucí práce)
Tato práce se zabývá návrhem vícejazyčné aplikace a její následnou implementací v jazyce C++. Aplikace šifruje diskové oddíly se systémem Microsoft Windows užitím symetrické kryptografie a autentizace pomocí hesla, jehož síla zabezpečení je ověřena. Zabezpečení citlivých dat je v oblasti informačních technologií jeden z důležitých bezpečnostních cílů. Symetrická kryptografie, která používá stejný klíč pro šifrování i dešifrování, je díky své rychlosti vhodná pro šifrování datového úložiště. Pro zvýšení bezpečnosti je možné šifrovat celý diskový oddíl s citlivými daty.
|
|
Analýza šifrovacích metod pro klonování disků
Chromečka, Jiří ; Černý, Martin (oponent) ; Drahanský, Martin (vedoucí práce)
Tato práce se zabývá návrhem vícejazyčné aplikace a její následnou implementací v jazyce C++. Aplikace šifruje diskové oddíly se systémem Microsoft Windows užitím symetrické kryptografie a autentizace pomocí hesla, jehož síla zabezpečení je ověřena. Zabezpečení citlivých dat je v oblasti informačních technologií jeden z důležitých bezpečnostních cílů. Symetrická kryptografie, která používá stejný klíč pro šifrování i dešifrování, je díky své rychlosti vhodná pro šifrování datového úložiště. Pro zvýšení bezpečnosti je možné šifrovat celý diskový oddíl s citlivými daty.
|
|
Symbolická reprezentace konečných automatů
Chromečka, Jiří ; Vojnar, Tomáš (oponent) ; Lengál, Ondřej (vedoucí práce)
V~oblasti formální analýzy se často setkáváme s~konečnými automaty s~velkým množstvím stavů nad velkými abecedami. Jejich explicitní reprezentace může vyústit ve stavovou explozi a~tento problém může být vyřešen použitím symbolické reprezentace schopné pracovat s~celou množinou stavů najednou. Cílem této práce je rozšířit knihovnu libVATA o~podporu této reprezentace včetně algoritmů pro některé operace nad touto reprezentací. Předložený text se v~úvodu zabývá předpoklady nezbytnými pro pochopení konečných automatů a~binárních rozhodovacích diagramů, které se využívají pro jejich symbolickou reprezentaci. Dále jsou uvedeny některé existující knihovny pro práci s~konečnými automaty. Následuje jádro této práce, návrh symbolické reprezentace a~operací nad ní, které jsou poté implementovány jako rozšíření zmíněné knihovny. Výsledky testů dokazují, že symbolická reprezentace je zajímavou alternativou explicitní reprezentace.
|