|
Bezpečnost elektronického hlasování
Fritzová, Petra ; Růžička, Pavel (vedoucí práce) ; Hojsík, Michal (oponent)
Elektronické volby, také označované jako i-volby by mohly pomoci při odstraňování krize v naší demokracii, která se projevuje nespoluprácí při možnosti vyjadřování svého názoru na přímých volbách. Rozumným nastavením informačních a komunikačních technologií z technického i finančního hlediska by mohlo pomoci tomu, že voleb by se zúčastnilo více voličů. Implementací elektronických voleb by se mohlo docílit toho, aby způsob, jakým se vládne v demokratické republice, byl doopravdy reprezentován názorem valné většiny osob, které jsou v dané republice oprávněny k volbě. Zavedení elektronického volebního systému by se mohlo vyplatit i z finančního hlediska. Také by se mohlo v rámci volebního procesu snížit riziko lidské chyby, ale i riziko manipulace hlasů, protože většina procesů by byla automatizována. Tato práce navrhuje definici základních požadavků na ideální elektronický volební systém, které porovnává s požadavky pro zaručení bezpečnosti dvou již navržených systémů elektronického hlasování. Díky hlubší analýze těchto dvou systémů se v práci dále popisují jejich nedostatky z hlediska bezpečnosti a nastoluje se možnost základních útoků, z důvodu nedokonalosti zabezpečení, na jednotlivé komponenty a vlastnosti systémů.
|
|
Arita NU polymorfismů
Draganov, Ondřej ; Barto, Libor (vedoucí práce) ; Růžička, Pavel (oponent)
Práce se zabývá aritou NU polymorfismů relačních struktur. Cílem je zjednodušit a přehledně zpracovat již existující příklad relační struktury, která má NU polymorfismus, ale nemá žádný NU polymorfismus "nízké arity vzhledem k aritě relací a počtu prvků nosné množiny. V práci jsou explicitně popsány m-ární relační struktury s n prvky, n ≥ 2, m ≥ 3, které nemají NU polymorfismus arity (m − 1)2n−2 , ale mají NU polymorfismus arity (m − 1)2n−2 + 1, který je v práci zkonstruován, a binární relační struktury s n prvky, n ≥ 3, které nemají NU polymorfismus arity 22n−3 , ale mají NU polymorfismus arity 22n−3 + 1.
|
| |
|
Kombinatorická teorie grup v kryptografii
Ferov, Michal ; Příhoda, Pavel (vedoucí práce) ; Růžička, Pavel (oponent)
V předkládané práci se zabýváme aplikací rozhodovacích problémů z kombinatorické teorie grup v kryptografii, konkrétně protokolem Shpilrain- Zapata. Formálně dokážeme, že grupy s malým krácením slouží jako vhodná platforma pro získávání páru soukromý-veřejný klíč, protože problém slov v nich lze řešit v lineárním čase a jsou generické. Dále se zabýváme složitostí útoku hrubou silou a ukážeme, že protokol je po teoretické stránce odolný vůči útočníkovi s libovolnou výpočetní sílou.
|
| |
|
Banschewského funkce na komplementárních modulárních svazech
Mokriš, Samuel ; Růžička, Pavel (vedoucí práce) ; Žemlička, Jan (oponent)
Název práce: Banschewského funkce na komplementárních modulárních svazech Autor: Samuel Mokriš Katedra: Katedra algebry Vedoucí bakalářské práce: Mgr. Pavel Růžička, Ph.D., Katedra algebry Abstrakt: Banaschewského funkce na omezeném svazu L je antimonotónní zo- brazení svazu L do sebe, které každému prvku z L přiřadí nějaký jeho komple- ment. Na libovolném nejvýše spočetném komplementárním modulárním svazu L existuje Banaschewského funkce, jejíž obraz M tvoří booleovský podsvaz v L. Takové M je navíc maximálním booleovským podsvazem L a je určeno až na izomorfismus jednoznačně. V této práci záporně zodpovídáme související otázku, zda jsou každé dva maximální booleovské podsvazy daného spočetného komple- mentárního modulárního svazu izomorfní a zda je každý maximální booleovský podsvaz daného spočetného komplementárního modulárního svazu L obrazem nějaké Banaschewského funkce na L. Protipříklad dále zobecníme pro větší mo- hutnosti množin; pro libovolný daný nekonečný kardinál κ zkonstruujeme kom- plementární modulární svaz L kardinality κ a maximální booleovské podsvazy B a E svazu L takové, že B není obrazem žádné Banaschewského funkce na L, že existuje Banaschewského funkce na svazu L,...
|
| |
|
Komprese pseudonáhodných posloupností
Vald, Denis ; Holub, Štěpán (vedoucí práce) ; Růžička, Pavel (oponent)
Generátory pseudonáhodných posloupností jsou široce využívanými objekty, mj. pro svoje použití v proudových šifrách. Jednou z cest vedoucích ke zvýšení odolnosti proti různým druhům útoků je použití komprese na generovanou posloupnost ve snaze odstranit redundatní informace, na jejichž základě je možné na generátor útočit. V této práci se snažíme na základě širších teoretických znalostí prozkoumat dosud vytvořené teoretické základy pro kompresi pseudonáhodných posloupností. Z tohoto obecného hlediska se podíváme na některé útoky a budeme sledovat, jakým způsobem je možné se těmto útokům bránit.
|
|
Abelovsky regulární okruhy
Vejnar, Benjamin ; Žemlička, Jan (vedoucí práce) ; Růžička, Pavel (oponent)
Na/ev praco: Abelovsky regularni okruhy Autor: Benjamin Vejnar Katedra (listav): Katedra algebry VcdoLici bakalafske prace: Mgr. Jan 2emlicka, Ph.D. E-mail vedouctho: Jan.Zcmlicka&mJJ. cuni.cz Abstrakt: V pfcdloxene praci studujeme aritmeticke a strukturni vlastnosti abelovsky regularnich okruhu, tedy okruhu, jcjichx ka/xly levy i pravy konecne generova.ny ideal jo generovan idempotentnim prvkem, klery Ic/i v centra danoho okruhu. Napfiklad ka/,dy Boohmv okruh je abelovsky regularni. Venujume ye podininkam, ktere uplne diarakterizuji tn'du abelovsky regu- larnieli okruhu, jako napfiklad silna regularita. Vsimame si souvislosti mexi Booleovou algebrou vsch centralnich idempo1,entu daneho okruhu a hlavnimi idealy. Dale popiHUJeme topologit na nmo/ine visecli prvoidealu a avcdoniujeine si, '/e splyva s Lo])ologii ultrafiltrii na Booleove algebre idciiipotontd. Klicova slova: okruhy, idempoteiitni prvky, silne regularni okruhy Title: Abelian regular rings Author: Benjamin Vejnar Department: Department of Algebra Supervisor: Mgr. Jan Zemlieka, Ph.D. Supervisor's e-mail address: Jan.Zc:ttilicka((})'niff.cu'iii.cz Abstract: In the present work we study arithmetic and structural properties of abelian regular' rings. This means rings whose every left and right finitely generated ideal is generated by an idempotent...
|
|
Hledání optimálních strategií číselného síta
Perůtka, Lukáš ; Drápal, Aleš (vedoucí práce) ; Růžička, Pavel (oponent)
V předložené práci studujeme algoritmus číselného síta. Zaměřujeme se především na jeho teoretickou podstatu s vyložením všech důležitých tvrzení potřebných k pochopení fungování algoritmu. Dále popisujeme několik nejpoužívanějších realizací jednotlivých algoritmu. Dále popisujeme několik nejpoužívanějších realizací jednotlivých částí algoritmu s vysvětlením, pro jaké situace jsou nejvýhodnější. Na závěr uvádíme výsledky měření efektivnosti prosívání dvou základních metod s pomocí implementace algoritmu vzniklém na katedře algebry.
|