Detail předmětu
Teorie kryptografických protokolů
FEKT-XPC-CPTAk. rok: 2024/2025
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
Vstupní znalosti
Práce v laboratoři je podmíněna platnou kvalifikací „osoby poučené“, kterou musí studenti získat před zahájením výuky. Informace k této kvalifikaci jsou uvedeny ve Směrnici děkana Seznámení studentů s bezpečnostními předpisy.
Pravidla hodnocení a ukončení předmětu
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ů.
Podmínky pro úspěšné ukončení předmětu stanoví každoročně aktualizovaná vyhláška garanta předmětu.
Učební cíle
Student získá teoretické znalosti o hlavních primitivech používaných v moderní kryptografii, především závazkových schématech, protokolech nulové znalosti, sigma protokolech a dále pak vyšších schématech, která jsou na základě těchto primitiv postavena. Studenti budou po absolvování kurzu schopni:
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ů.
Základní literatura
DAMGAARD, I. On Σ-protocols [online]. Dostupné z: https://cs.au.dk/~ivan/CPT.html (EN)
GARRETT, Paul. Making, breaking codes: an introduction to cryptology. Vyd. 1. Upper Saddle River: Prentice Hall, 2001, xix, 523 s. ISBN 01-303-0369-0. (EN)
MENEZES, Alfred J. Handbook of applied cryptography. Vyd. 1. Boca Raton: CRC Press, 1997, 780 s. ISBN 08-493-8523-7. Online https://cacr.uwaterloo.ca/hac/. (EN)
OCHODKOVÁ, Eliška. Matematické základy kryptografických algoritmů [online]. [cit. 2013-06-11]. Dostupné z: http://mi21.vsb.cz/sites/mi21.vsb.cz/files/unit/mat_zaklady_kryptografickych_algoritmu.pdf (CS)
STALLINGS, William. Cryptography and network security: principles and practice. Seventh edition. xix, 731 pages. ISBN 9781292158587. (EN)
Elearning
Zařazení předmětu ve studijních plánech
- Program MPC-IBE magisterský navazující 1 ročník, letní semestr, povinný
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í odborného základu
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í
Elearning