Celem wykładu jest przegląd zagadnień bezpieczeństwa informacji.
Wykład będzie obejmować między innymi:
\+ podstawy kryptografii
\+ infrastrukturę klucza publicznego i rola zaufania
\+ kontrolę dostępu
\+ protokoły kryptograficzne i techniki ataku
\+ weryfikację własności bezpieczeństwa protokołow kryptograficznych
\+ praktykę ochrony danych w sieci
Chciałbym rownież przedstawić jak działają narzędzia do automatycznej
weryfikacji protokołow kryptograficznych,
jakie są ich ograniczenia i w jaki sposob tworzy się specyfikacje własności
bezpieczeństwa przed napisaniem takiego oprogramowania.
**Program:** **Wymagania:**
