Oznámenie o obhajobe dizertačnej práce

Dovoľujeme si oznámiť, že dňa

26. 2. 2004 o 11.00 hod.

sa uskutoční na Fakulte informatiky a informačných technológií STU v Bratislave
v miestnosti D220 obhajoba dizertačnej práce

Ahmeda AbdAllaha Hassana, MSc.

Školiteľ:

doc. Ing. Ladislav Hudec, PhD., FIIT STU v Bratislave

Oponenti dizertačnej práce:

prof. Ing. Pavol Horváth, CSc., CVT STU v Bratislave
doc. Ing. Jan Janeček, CSc., KP FEI ČVUT v Prahe
doc. Ing. Martin Klimo, CSc., KIS FRI ŽU v Žiline

Abstrakt:

Na presadenie bezpečnostnej politiky musí sieťový administrátor vysokoúrovňovú bezpečnostnú politiku transformovať do jej nízkoúrovňovej formy, ktorá je vyjadrená konfiguračným súborom bezpečnostnej brány. Na základe analýzy vzorky vysokoúrovňovej bezpečnostnej politiky a vzorky nízkoúrovňovej formy vyjedrenej v konfiguračnom súbore bezpečnostnej brány možno povedať, že existuje veľká sémantická medzera medzi vysokoúrovňovou a nízkoúrovňovou formou sieťovej bezpečnostnej politiky. Existencia tejto medzery spôsobuje, že transformácia, verifikácia a dokonca aj modifikácia politiky je obtiažna úloha. Pôvodné príspevky dizertačnej práce sú:

• zavedenie, použitie a preukázanie opodstatnenosti modelu RBNS (Role-Based Network Security), ktorý slúži na prechodnej úrovni medzi vysokoúrovňovou bezpečnostnou politikou a jej nízkoúrovňovou formou v konfiguračnom súbore bezpečnostnej brány.
• návrh a implementácia kompilačného algoritmu, ktorý je použitý na automatickú generáciu konfiguračného súboru bezpečnostnej brány (nízkoúrovňovej formy sieťovej bezpečnostnej politiky) z prechodnej úrovne danej modelom RBNS.
• návrh a implementácia algoritmu verifikujúceho ekvivalenciu medzi vysokoúrovňovou a nízkoúrovňovou formou bezpečnostnej politiky.

Dizertačná práca je k nahliadnutiu na Oddelení odborných činností FIIT STU.