Detail práce

Statická analýza počítačových sítí

Diplomová práce Student: Hozza Tomáš Akademický rok: 2011/2012 Vedoucí: Ryšavý Ondřej, doc. Ing., Ph.D.
Název anglicky
Static Analysis of Computer Networks
Jazyk práce
český
Abstrakt

Některé problémy v konfiguracích síťových zařízení jsou těžko identifikovatelné. Důležitou částí mnoha konfigurací jsou přístupové seznamy, ve kterých konflikty mezi pravidly mohou způsobit mezery v bezpečnostní politice nebo v kvalitě služeb. Tato práce je zaměřena právě na identifikaci a klasifikaci konfliktů mezi pravidly přístupového seznamu jednoho zařízení. Tento úkol není triviální, pokud chceme identifikovat všechny možné druhy konfliktů. V práci je uveden optimalizovaný algoritmus na kompletní analýzu přístupového seznamu s využitím binárních prefixových stromů, založený na existujícím výzkumu Baboescu a Varghese. S jeho použitím byl implementován nástroj schopný detekovat konflikty mezi pravidly přístupového seznamu zařízení Cisco, HP nebo Juniper. Kvůli menším paměťovým nárokům jsou bitové vektory v prefixových stromech komprimované WAH kompresní metodu. Implementovaný nástroj byl otestován s ohledem na správnost a výkonnost. Testy potvrdily potenciál použitého řešení výrazně urychlit analýzu přístupových seznamů.

Klíčová slova

Statická analýza, konfigurace síťových zařízení, přístupový seznam, ACL, bezpečnostní politika.

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Počítačové sítě a komunikace
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
18. června 2012
Oponent
Veselý Vladimír, Ing., Ph.D.
Komise
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT), předseda
Burget Radek, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Honzík Jan M., prof. Ing., CSc. (UIFS FIT VUT), člen
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Vranić Valentino, doc. Ing., Ph.D. (FIIT STU), člen
Citace
HOZZA, Tomáš. Statická analýza počítačových sítí. Brno, 2012. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2012-06-18. Vedoucí práce Ryšavý Ondřej. Dostupné z: https://www.fit.vut.cz/study/thesis/14141/
BibTeX 
@mastersthesis{FITMT14141,
    author = "Tom\'{a}\v{s} Hozza",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Statick\'{a} anal\'{y}za po\v{c}\'{i}ta\v{c}ov\'{y}ch s\'{i}t\'{i}",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2012,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/14141/"
}

Závěrečné práce

Nahoru