Detail předmětu
Cryptologic Protocol Theory
FEKT-MPA-CPTAk. rok: 2021/2022
Předmět obsahuje úvod do pokročilé kryptografie v angličtině, seznámení se základními primitivy a schématy. Konkrétně se jedná o kryptografické závazky, interaktivní důkazové systémy, protokoly s nulovou znalostí, sigma protokoly, interaktivní i neinteraktivní protokoly důkazů znalosti, skupinové podpisy a vyšší systémy – eCash a atributová pověření.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Vysvětlit principy kryptografických závazků, protokolů s nulovou znalostí, sigma protokolů v angličtině.
Sestavit protokoly pro interaktivní důkazy znalosti.
Použít závazková schémata ve vyšších kryptosystémech.
Zhodnotit rychlost a výpočetní náročnost běžně používaných protokolů důkazů znalosti.
Vysvětlit v angličtině principy fungování systémů pro atributovou autentizaci a eCash systémů.
Prerekvizity
Plánované vzdělávací činnosti a výukové metody
Způsob a kritéria hodnocení
Maximum 40 bodů je uděleno za testy z teoretických znalostí ve cvičeních. Minimální rozsah vypracování jednotlivých úloh stanoví každoročně aktualizovaná vyhláška garanta předmětu. Závěrečná písemná zkouška je hodnocena maximem 60 bodů.
Osnovy výuky
1. Úvod do moderní kryptografie, Teorie čísel.
2. Modulární aritmetika, Algebraické struktury.
3. Přehled základních kryptografických primitiv.
4. Kryptografie s použitím eliptických křivek.
5. Bilineární párování.
6. Protokoly s bilineární párováním.
7. Kryptografické závazky.
8. Protokoly s nulovou znalostí.
9. Sigma protokoly.
10. Sigma protokoly II.
11. Skupinové podpisy.
12. Atributová pověření.
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Základní literatura
STALLINGS, W. Cryptography and network security: principles and practice. Seventh edition. (EN)
Elearning
Zařazení předmětu ve studijních plánech
Typ (způsob) výuky
Přednáška
Vyučující / Lektor
Osnova
2. Přehled anglické terminologie.
3. Přehled základních kryptografických primitiv.
4. Kryptografické závazky.
5. Využití kryptografických závazků v konstrukci protokolů.
6. Interaktivní důkazové systémy.
7. Protokoly s nulovou znalostí.
8. Sigma protokoly.
9. Sigma protkoly II.
10. Interaktivní a neinteraktivní důkazy znalosti.
11. Integrace primitiv ve vyšší systémy.
12. Skupinové podpisy.
13. Atributová pověření.
Cvičení na počítači
Vyučující / Lektor
Osnova
2. Výpočetní nástroje pro moderní kryptografii.
3. Základní aritmetické operace.
4. Kryptografické závazky.
5. Protokoly využívající závazky.
6. Interaktivní důkazové systémy.
7. Kontrukce protokolů s nulovou znalostí a formální důkazy.
8. Optimalizace důkazů s nulovou znalostí.
9. Skupinové podpisy.
10. Vyšší kryptografické systémy.
Elearning