15.05.2017, godzina 13.15, sala 3/40 bud.34 odbędzie się seminarium Wydziału Zastosowań Informatyki i Matematyki z cyklu „Spotkań im. Jerzego Spławy-Neymana”, na którym referat wygłosi prof. UKSW, dr hab. Mirosław Kurkowski.

Tytuł: Weryfikacja własności protokołów zabezpieczających w sieciach komputerowych.

Abstrakt:
Narzędziami wykorzystującymi techniki kryptograficzne do osiągania celów bezpieczeństwa w sieciach komputerowych są tzw. protokoły zabezpieczające (ang. security protocols). Protokoły te stanowią podklasę klasy protokołów komunikacyjnych ogólnego przeznaczenia. W 1978 roku Needham i Schroeder próbując rozwiązać problemy związane z uwierzytelnianiem stron w sieciach oraz zapewnieniem poufności przesyłanych danych zaproponowali kilka algorytmów współbieżnych (protokołów) mających za zadanie osiągniecie założonych ww. celów bezpieczeństwa. Algorytmy te i im podobne szybko zaczęto stosować w praktyce. Przez następne lata powstało wiele protokołów zabezpieczających realizujących różne cele w sieciach komputerowych. Niestety z biegiem lat w wielu przypadkach odkryto, ze algorytmy te można oszukać i w ogólności nie zapewniają pożądanego poziomu zabezpieczeń. Proste wydawałoby się konstrukcje protokołów są podatne na różnego rodzaju ataki najłagodniej mówiąc złośliwego użytkownika nazywanego tutaj Intruzem. Niezbędne stało się zatem opracowywanie metod weryfikacji poprawności protokołów. W referacie przedstawię pokrótce tło problemu oraz kilka metod weryfikacji protokołów opracowanych i wdrożonych na świecie. Główną częścią referatu będzie prezentacja moich wyników na ten temat.

Serdecznie zapraszamy
dr Konrad Furmańczyk i dr Olga Zajkowska