Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FEKT-MPA-SIBAk. rok: 2023/2024
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
Učební cíle
Základní literatura
Elearning
Zařazení předmětu ve studijních plánech
Seminář
Vyučující / Lektor
Osnova
1. Formální důkazy vlastností kryptografických systémů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émat6. Formální definice vlastností základních kryptografických primitiv7. Formální definice vlastností podpisových schémat8. Formální definice vlastností systémů na ochranu soukromí9. Moderní kryptografická schémata – skupinové podpisy10. Moderní kryptografická schémata – autentizace, identifikace11. Moderní kryptografická schémata – ochrana soukromí12. Implementační aspekty moderní kryptografie