Propozycje tematów prac magisterskich

1999 - 2000

1. Skrzynki podstawieniowe szyfrów blokowych

Opracowanie i implementacja algorytmów do badania własności kryptograficznych podstawień w szyfrach blokowych.

2. Kryptoanaliza algorytmu szyfrowania SAFER-K64

Zbadanie własności kryptograficznych przekształceń stosowanych w algorytmie i analiza uproszczonych wersji algorytmu.

3. Kryptoanaliza algorytmu szyfrowania IDEA

Zbadanie własności kryptograficznych przekształceń stosowanych w algorytmie i analiza uproszczonych wersji algorytmu.

4. Steganografia

Kryptografia oznacza przekazywanie wiadomości w formie zaszyfrowanej (która może być dostępna dla potencjalnego intruza). Steganografia jest ukrytym przekazywaniem wiadomości zaszyfrowanej, np. poprzez wkomponowanie jej w obraz, dźwięk lub tekst. Praca ma polegać na dokonaniu przeglądu metod steganografii i implementacji wybranej metody tego typu ochrony danych.

5. Metody generowania kluczy pomocniczych szyfrów blokowych

Przegląd metod. Implementacja algorytmu wyznaczania liczby kluczy pomocniczych od zadanego klucza użytkownika.

6. Najlepsza aproksymacja afiniczna ciągów kluczy do szyfratorów strumieniowych

Wykorzystanie przekształcenia Walsha do konstrukcji sprzężeń zwrotnych rejestrów generujących ciąg zbliżony do ciągu generowanego w układzie oryginalnym.

7. Wpływ nieliniowości funkcji sprzężenia zwrotnego na okres generowanego ciągu
   w generatorach kluczy szyfratorów strumieniowych

Zbadanie wpływu właściwości nieliniowych funkcji boolowskich na okres ciągu generowanego przez rejestr przesuwający, pracujący w układzie szyfratora strumieniowego.

8. Badanie właściwości funkcji skrótu FSR-hash

Zbadanie własności kryptograficznych przekształceń stosowanych w algorytmie i analiza uproszczonych wersji algorytmu.

9. Funkcja skrótu MD-5

Zbadanie własności kryptograficznych przekształceń stosowanych w algorytmie i analiza uproszczonych wersji algorytmu.

10. Funkcja skrótu MASH

Zbadanie własności kryptograficznych przekształceń stosowanych w algorytmie i analiza uproszczonych wersji algorytmu.

1. Biometryczne metody identyfikacji użytkowników

Cechy wykorzystywane w procesach identyfikacji (linie papilarne, kształt dłoni, twarzy, rysunek tęczówki oka, głos, odręczny podpis). Etapy procesy identyfikacji. Standardy interfejsów urządzeń pomiarowych. Porównanie metod identyfikacji (hasła, identyfikatory materialne, biometria). Przegląd dostępnych rozwiązań.

2. Emisja ujawniająca - analiza zagrożeń

Źródła emisji elekromagnetycznej w systemie komputerowym. Podsłuch elektromagnetyczny. Metody ochrony (ograniczenie poziomu sygnałów, wprowadzanie sygnałów zakłócających, ekranowanie kabli, podzespołów, urządzeń, systemów). Standard TEMPEST (Transient Electromagnetic Pulse Emanation Standard).

3. Śluzy bezpieczeństwa - konfiguracje

Architektury systemów zabezpieczeń lokalnej sieci komputerowej. Klasyfikacja śluz bezpieczeństwa (rutery filtrujące, bramy aplikacji, ...). Charakterystyka funkcji (blokowanie dostępu, ukrywanie struktury wewnętrznej LAN, alarmowanie, "działania odwetowe"), analiza konfiguracji, przykłady, porównanie konkretnych rozwiązań.

4. Synchronizacja zegarów w systemach informatycznych

Źródła czasu dla systemów komputerowych (GPS, ACTS, DCF, ...). Algorytmy i protokoły transmisji informacji o czasie (NTP, SNTP, ...). Funkcje synchronizacji w systemach operacyjnych (Novell Netware, Windows NT, Unix). Wpływ synchronizacji zegarów na bezpieczeństwo danych: zapis chronologii zdarzeń w rejestrach, zastosowania informacji o czasie w protokołach kryptograficznych.

5. Analiza błędów w systemach operacyjnych

Charakterystyka błędów oprogramowania (przyczyny występowania, specyfika, skutki). Analiza zagrożeń dla bezpieczeństwa systemów informatycznych. Przykłady wykorzystania błędów. Prewencja. Przegląd błędów w systemach operacyjnych (Novell Netware, Windows NT, Unix).

6. Model systemu HSM

Podstawowe definicje, hierarchia nośników danych, porównanie systemów HSM (Hierarchical Storage Management) z rozwiązaniami alternatywnymi, standardy DMIG (Data Management Interface Group), RTDM (Real Time Data Migration), charakterystyka aplikacji (METIOR, NetWorker Archive Application, Cheyenne HSM,...). Projekt i realizacja uniwersalnego modelu systemu HSM, przeprowadzenie symulacji i analiza wyników.

7. Metaindeks do przeszukiwania zasobów Internetu

Charakterystyka istniejących metod i rozwiązań, analiza wyników wyszukiwania przy użyciu metaindeksów (Metacrawler, Savvy Search, SuperSeek, ...). Projekt i realizacja metaindeksu z funkcjami optymalizacji wyników wyszukiwań (automatyczny i ręczny wybór systemów wyszukiwania, usuwanie powtórzeń, porządkowanie zbioru wynikowego, ...).

1. Ocena efektywności serwera caching-proxy przy udostępnianiu Internetu w lokalnej sieci komputerowej.
2. Ocena bezpieczeństwa danych przy korzystaniu z serwera caching-proxy.

1. Algorytmy różnicowej analizy kryptograficznej.

Podstawy teoretyczne. Implementacja programowa wybranych algorytmów. Ocena skuteczności.

2. Protokoły warstwy łącza danych w sieciach typu punkt-punkt.

Przegląd protokołów. Implementacja programowa wybranych protokołów. Modelowanie z użyciem automatów skończonych i sieci Petriego.

3. Protokoły przydziału kanału w sieciach rozgłoszeniowych.

Przegląd protokołów. Implementacja programowa wybranych protokołów. Porównanie przepustowości.

4. Dynamiczne algorytmy rutowania w sieciach komputerowych.

Przegląd algorytmów. Implementacja programowa wybranych algorytmów. Charakterystyka porównawcza.

5. Algorytmy rutowania rozgłoszeniowego i grupowego w sieciach komputerowych.

Przegląd algorytmów. Implementacja programowa wybranych algorytmów. Charakterystyka porównawcza.

6. Protokoły warstwy transportowej w sieciach komputerowych.

Przegląd protokołów. Implementacja programowa wybranych protokołów. Modelowanie z użyciem automatów skończonych i sieci Petriego.

1. Analiza porównawcza uniwersalnych metod kompresji danych

W pracy należy wykonać implementację znanych metod kompresji danych a następnie przeprowadzić testy, pozwalające na porównanie tych metod według wybranych kryteriów.

2. Przegląd i analiza programów archiwizujących

Aktualnie dostępne są różne programy służące do archiwizacji danych. W pracy należy zebrać te programy, omówić, przeanalizować, porównać i ocenić.

3. Opracowanie i implementacja metody kompresji i szyfrowania danych

Praca polega na opracowaniu metody a następnie jej implementacji w postaci zintegrowanego modułu kompresji i szyfrowania danych. W module takim, podczas jednokrotnego przetwarzania pliku źródłowego ma być realizowany zarówno proces kompresji jak i szyfrowania. Moduł należy przetestować dla różnych plików i dokonać jego oceny.

4. Przegląd i analiza symulatorów sieci Petriego dostępnych w sieci INTERNET

Sieci Petriego znajdują szerokie zastosowanie w różnych dziedzinach, są także ciągle rozwijane, modyfikowane i rozszerzane. Wiele edytorów i symulatorów sieci Petriego jest dostępnych w sieci. W pracy należy wyszukać te programy a następnie przeanalizować i omówić funkcje oferowane przez te symulatory.

1. Wizualizacja przetwarzania w dyskretnych regularnych modelach 3-D.

Prezentacja ekranowa przetwarzania z doborem konfiguracji przestrzennych i parametrów przetwarzania (komórki, sąsiedztwo i funkcje lokalne).

2. Wizualizacja obliczeń w planarnych sieciach prostych procesorów.

Pakiet symulacji i prezentacji ekranowej przebiegu obliczeń. Eksperymenty doboru automatów i ich powiązań w sieci (względem parametrów t, x i y), doboru danych oraz przetwarzania danych (konfiguracji 2-D).

3. Eksperymenty ze śledzeniem przepływu sygnałów w linearnych strukturach obliczeniowych.

Pakiet do symulacji przepływu sygnałów w potokowej, jedno- lub niejednorodnej strukturze oraz eksperymenty śledzenia przepływów.

4. Wyznaczanie optymalnych struktur sieci realizacyjnych automatów z wykorzystaniem technik ewolucyjnych.

Zastosowanie technik ewolucyjnych (tzw. algorytmów genetycznych) do szukania sieci automatów stanowiących realizacje wybranych algorytmów.

5. Wspomaganie wyznaczania funkcji lokalnych automatów komórkowych.

Pakiet programowy symulacji obliczeń automatów komórkowych 2-D oraz wspomagania szukania funkcji lokalnych na bazie obrazu obliczeń.

6. Szukanie generatorów ciągów klasy FCA o zadanych własnościach.

Pakiet symulacji pracy generatora typu FCA, prezentacji ekranowej przebiegu generacji oraz szukania generatorów ciągów o zadanych własnościach (np. długo okresowych).

7. Wyznaczanie przetworników sekwencyjnych dla zadanych wykresów przetwarzania.

Pakiet programowy przygotowania danych (operacje graficzne na wykresach okresowych obiektów przetwarzania iterowanego) oraz wyznaczania dla nich przetwornika sekwencyjnego.

8. Symulator ruchu pojazdów z wykorzystaniem modelu komórkowego 2-D.

Realizacja programowa symulatora. Eksperymenty z doborem parametrów symulacji oraz parametrów oceny przebiegu ruchu.

9. Wyznaczanie filtronów wybranych klas filtrów dyskretnych.

Program wyznaczania filtronów (okresowych segmentów występujących w iterowanym przetwarzaniu ciągów).