|
|
Rozšíření simulátoru OMNeT++ o filtrovací pravidla ACL
Suchomel, Tomáš ; Ryšavý, Ondřej (oponent) ; Matoušek, Petr (vedoucí práce)
V bakalářské práci se zabýváme diskrétní simulací sítě v simulačním nástroji OMNeT++. Prozkoumáváme možnosti efektivní reprezentace a vyhodnocování ACL pomocí pokročilých struktur na bázi intervalových rozhodovacích diagramů. Simulátor OMNeT++ rozšiřujeme o modul filtrování paketů pomocí seznamů ACL, jehož návrh i implementace je zde popsána. Praktické využití implementovaného rozšíření je ukázáno na simulaci reálné netriviální sítě, kde ověřujeme výsledky simulace a porovnáváme je s s chováním skutečného prostředí.
|
|
|
Statická analýza počítačových sítí
Hozza, Tomáš ; Veselý, Vladimír (oponent) ; Ryšavý, Ondřej (vedoucí práce)
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ů.
|
|
|
Rozšíření simulátoru OMNeT++ o filtrovací pravidla ACL
Suchomel, Tomáš ; Ryšavý, Ondřej (oponent) ; Matoušek, Petr (vedoucí práce)
V bakalářské práci se zabýváme diskrétní simulací sítě v simulačním nástroji OMNeT++. Prozkoumáváme možnosti efektivní reprezentace a vyhodnocování ACL pomocí pokročilých struktur na bázi intervalových rozhodovacích diagramů. Simulátor OMNeT++ rozšiřujeme o modul filtrování paketů pomocí seznamů ACL, jehož návrh i implementace je zde popsána. Praktické využití implementovaného rozšíření je ukázáno na simulaci reálné netriviální sítě, kde ověřujeme výsledky simulace a porovnáváme je s s chováním skutečného prostředí.
|
|
|
Statická analýza počítačových sítí
Hozza, Tomáš ; Veselý, Vladimír (oponent) ; Ryšavý, Ondřej (vedoucí práce)
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ů.
|
host ::
RSS.