Detail předmětu
Information Security Seminar
FEKT-MPA-SIBAk. rok: 2024/2025
Předmět obsahuje především témata z oblastí pokročilé kryptografie a implementace kryptografických algoritmů užívaných pro zajištění bezpečnosti ICT systémů. Jedná se zejména o: formální důkazy na základě simulačních paradigmat, standardní model bezpečnosti a model náhodného orákula, bezpečnostní definice podpisových schémat, bezpečnostní definice šifrovacích schémat, bezpečnostní definice systémů na ochranu soukromí, rámce na prokazování bezpečnosti systémů (zejména UC – Universal Composability Framework), dále pak aspekty implementace moderních kryptografických schémat, především kryptografických závazků, skupinových podpisů a systémů na ochranu soukromí, především atributové autentizace.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Vstupní znalosti
Pravidla hodnocení a ukončení předmětu
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
Absolventi předmětu získají znalosti z oblasti pokročilé kryptografie, především moderních trendů v oblasti návrhu kryptografických protokolů. Získají schopnosti potřebné pro bezpečný návrh založený na principu prokazatelné bezpečnosti s užitím všeobecně uznávaných formálních modelů a definicí vlastností. Absolventi budou schopni sami navrhovat moderní protokoly a porozumět stávajícím i nově vznikajícím specifikacím kryptografických systémů. V rámci předmětu studenti získají přehled o aktuálním stavu implementace a využití kryptografických algoritmů v reálných systémech na zajištění bezpečnosti ICT.
Základní literatura
MENEZES, Alfred, Paul C VAN OORSCHOT a Scott A VANSTONE. Handbook of applied cryptography. Boca Raton: CRC Press, c1997. Discrete mathematics and its applications. ISBN 0-8493-8523-7.
Elearning
Zařazení předmětu ve studijních plánech
- Program MPC-IBE magisterský navazující 2 ročník, letní semestr, povinný
Typ (způsob) výuky
Seminář
Vyučující / Lektor
Osnova
2. Model náhodného orákula (Random Oracle Model)
3. Standardní model (Standard Model)
4. UC - univerzální kompozice (Universally Composable Framework)
5. Formální definice vlastností šifrovacích schémat
6. Formální definice vlastností základních kryptografických primitiv
7. Formální definice vlastností podpisových schémat
8. Formální definice vlastností systémů na ochranu soukromí
9. Moderní kryptografická schémata – skupinové podpisy
10. Moderní kryptografická schémata – autentizace, identifikace
11. Moderní kryptografická schémata – ochrana soukromí
12. Implementační aspekty moderní kryptografie
Elearning