Detail předmětu

Cryptologic Protocol Theory

FEKT-MPA-CPTAk. rok: 2022/2023

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í.

Výsledky učení předmětu

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ů.

Prerekvizity

Předmět vyžaduje základní znalosti z oblasti kryptologie, především asymetrických kryptosystémů, kterou poskytuje povinný předmět BZKR – Základy kryptografie. Dále je vyžadována základní znalost české terminologie a angličtina alespoň na úrovni B1 - intermediate.

Literatura

MENEZES, A.J. Handbook of applied cryptography. Boca Raton: CRC Press, 1997. Online: https://cacr.uwaterloo.ca/hac/ (EN)
STALLINGS, W. Cryptography and network security: principles and practice. Seventh edition. (EN)

Plánované vzdělávací činnosti a výukové metody

Metody vyučování závisejí na způsobu výuky a jsou popsány článkem 7 Studijního a zkušebního řádu VUT. Vyučování obsahuje přednášky a laboratorní cvičení. Během výuky bude využit také e-learningový systém Moodle.

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ů. 

Jazyk výuky

angličtina

Osnovy výuky

Přednášky:
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í. 

Cíl

Cílem předmětu je navázat na předchozí úvodní kurzy z oblasti kryptologie a seznámit studenty s pokročilými principy moderní kryptologie a anglickou terminologií v této oblasti. Studenti se seznámí s vybranými stavebními bloky moderních kryptografických protokolů a schémat a budou schopni porozumět anglicky psaným zdrojům během dalšího studia kryptologie.

Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky

Podmínky pro úspěšné ukončení předmětu stanoví každoročně aktualizovaná vyhláška garanta předmětu.

Zařazení předmětu ve studijních plánech

  • Program MPA-CAN magisterský navazující, 1. ročník, letní semestr, 5 kreditů, povinně volitelný
  • Program MPAD-CAN magisterský navazující, 1. ročník, letní semestr, 5 kreditů, povinně volitelný
  • Program MPA-TEC magisterský navazující, 1. ročník, letní semestr, 5 kreditů, povinně volitelný
  • Program MPAJ-TEC magisterský navazující, 1. ročník, letní semestr, 5 kreditů, povinně volitelný

Typ (způsob) výuky

 

Přednáška

26 hod., nepovinná

Vyučující / Lektor

Cvičení odborného základu

26 hod., povinná

Vyučující / Lektor