Matematyka Podpisu Elektronicznego ----------------------------------------------------------------------------- Skrócony opis: Wprowadzenie do matematycznych podstaw kryptografii (formalne definicje bezpieczenstwa protokołów szyfrowania, podpisu i uwierzytelniania, funkcje jednokierunkowe, funkcje haszujące, generatory pseudolosowe, protokoły z wiedzą zerową). Przegląd protokołów podpisu elektronicznego (RSA, DSS, ElGamal, etc). Protokoły podpisu bezpieczne "w przód" (forward secure), progowe (treshold), niezaprzeczalne (undeniable), ślepe (blind), jednorazowe (one-time) i inne. Wybrane metody dowodzenia bezpieczeństwa. ----------------------------------------------------------------------------- Opis: Program wykładu nie zakłada wcześniejszej znajomości kryptografii. Niezbędne podstawy zostaną omówione na początkowych zajęciach . Program zajęć będzie obejmował m.in. takie zagadnienia jak: 1. Matematyczne podstawy kryptografii (formalne definicje bezpieczenstwa protokołów szyfrowania, podpisu i uwierzytelniania, funkcje jednokierunkowe, funkcje haszujące, generatory pseudolosowe, protokoły z wiedzą zerową). 2. Przegląd protokołów podpisu elektronicznego (RSA, DSS, ElGamal, etc). 3. Protokoły podpisu bezpieczne "w przód" (forward secure). 4. Podpisy progowe (treshold). 5. Podpisy niezaprzeczalne (undeniable). 6. Podpisy ślepe (blind). 7. Podpisy jednorazowe (one-time). Duży nacisk zostanie położony na formalne dowody bezpieczeństwa. Wykład będzie miał charakter teoretyczny. W momencie tworzenia niniejszego opisu szczegółowy plan wykladu nie jest jeszcze ustalony. Powyższe informacje mogą ulec nieznacznym zmianom. Aktualny (i obszerniejszy) opis oraz zasady zaliczania znajdują się na stronie http://www.dziembowski.net/studenci/ . ----------------------------------------------------------------------------- Literatura: Notatki wykładowcy (po polsku) oraz dokumenty (w języku angielskim) dostępne na Internecie. ----------------------------------------------------------------------------- Przydatna będzie znajomość wybranych zagadnień z przedmiotów: 1000-211MD1 Elementy matematyki dyskretnej I 1000-211WP Wstęp do programowania 1000-211WTM Wstęp do teorii mnogości 1000-212MD2 Elementy matematyki dyskretnej II 1000-212MPR Metody programowania 1000-214PWS Programowanie współbieżne 1000-216SIK Sieci komputerowe 1000-215JAO Języki, automaty i obliczenia