Název:
Syntéza a verifikace síťové konfigurace
Překlad názvu:
Network Configuration Synthesis and Verification
Autoři:
Černeková, Alžbeta ; Veselý, Vladimír (oponent) ; Ryšavý, Ondřej (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2016
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Predmetom diplomovej práce je problematika konfigurovania sieťových zariadení. Rieši otázku ako zjednodušiť určité časti konfigurácie a zároveň eliminovať časté chyby. Predstavuje riešenie nastavovania IP adries na rozhraniach sieťových zariadení. Ďalej prezentuje generovanie konfigurácie pre určité scenáre dynamického smerovania a jej aplikovanie a metódy na jej verifikáciu na sieťových zariadeniach. Demonštruje tiež vygenerovanie konfigurácie pre nastavenie VPN tunelu medzi dvomi zariadeniami. V závere obsahuje návrhy ďalších možných rozšírení či vylepšení.
The subject of this master's thesis is to address the topic of network devices configuring. It resolves the problems related to simplifying certain parts of configuration while eliminating frequent errors or issues. It introduces a solution to setting of IP addresses on router's interfaces. Furthermore it presents the generation of configuration for particular dynamic routing scenarios and its application and methods for its verification on network devices. It also demonstrates the preparation of configuration of VPN tunnel between two devices. The conclusion of this thesis contains possibilities for further extensions or improvements.
Klíčová slova:
generovanie konfigurácie; konfigurácia; sieť; smerovač; syntéza; verifikácia; configuration; generating of configuration; network; router; synthesis; verification
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/61796