Wykład Bezpieczeństwo Danych Cyfrowych -
Infrastruktura Klucza Publicznego, studia magisterskie i doktoranckie, 2003
Mirosław Kutyłowski
Tematy poruszone na wykładach:
- PKI i X.509: przeznaczenia certyfikatu, certyfikaty atrybutów
versus centralna baza danych, porównanie architektury PKI opartej o
CA oraz systemów rozproszonych (PGP), topologia struktury, status certyfikatów
i określanie ważności (CRL, OCSP, krótkoterminowe, samobójstwa), certyfikatów,
pola certyfikatów X.509: podstawowe, rozszerzeń (standardowe, niestandardowe),
rozszerzenia krytyczne i niekrytyczne,
- model Brandsa: reprezentacje DL, podpisy DL, ślepe certyfikaty:
wydawanie, weryfikacja certyfikatu, uzasadnienie konstrukcji, protokół
ujawniający dla: koniunkcji zależności liniowych, dla koniunkcji zależności
liniowych i jednej nierówności liniowej, konstrukcja dla alternatywy,
konstrukcja dla wykazania, że zadany element znajduje się w określonym
przedziale (na przykładzie przedziału (0,2^t)
- Podpisy grupowe: koncepcja podpisów grupowych, schemat Chaum-Heyst,
schemat Chen-Pedersen, schemat Camenischa: wariant szyfrowania ElGamala,
sygnatury wiedzy SKDL i SKDL[1/n], sygnatury wiedzy dla struktur dostępu
``k z n'', sygnatury równości wykładników: SEQDL, podpisy Camenischa: schemat
1 z n, schemat koalicyjny k z n, schemat hierarchiczny: rejestracja użytkownika,
rejestracja grupy, przyjęcie użytkownika do grupy, złożenie podpisu, weryfikacja podpisu, ujawnienie podpisującego, podpisy Ateniese-Tsudik
- SPKI/SDSI: rodzaje certyfikatów, listy ACL, mechanizm
uzyskiwania dostępu, unieważnianie: biura samobójstw i certyfikaty zdrowia
- znakowanie czasem: regulacje prawne, normy, źródła czasu,
czas Lamporta, linkowanie liniowe, linkowanie w grupach po k, losowy świadek,
dowody następstwa zdarzeń: struktury drzewiaste, protokół cebulkowy dla
znakowania czasem
- chameleon signatures:
hash kameleoński, schemat podpisów i procedury,
- funkcje hashujące: schemat Merkla, schematy oparte
o algorytmy symetryczne i atak meet-in-the-middle,
MD4, atak na MD4