Static Analysis of Routing and Firewall Policy Configurations

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F12%3APU98172" target="_blank" >RIV/00216305:26230/12:PU98172 - isvavai.cz</a>
Result on the web
<a href="https://www.scopus.com/record/display.uri?eid=2-s2.0-84857521040&origin=resultslist" target="_blank" >https://www.scopus.com/record/display.uri?eid=2-s2.0-84857521040&origin=resultslist</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-25206-8_2" target="_blank" >10.1007/978-3-642-25206-8_2</a>

Result language
angličtina
Original language name
Static Analysis of Routing and Firewall Policy Configurations
Original language description
Network design that meets customer's security requirements needs careful considerations when configuring routing and filtering rules. This paper deals with an approach to security analysis based on reachability calculations in dynamically routed networks. The contribution consists of proposing routing abstract model that enables to extend existing reachability analysis approaches to obtain a finer approximation. This approximation captures the effect of routing on packets forwarding. Thus in the combination with reachability calculations based on packet filtering analysis it provides valuable information for a network designer on possible security issues in designed network.
Czech name
—
Czech description
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)