Static Analysis of Routing and Firewall Policy Configurations

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Static Analysis of Routing and Firewall Policy Configurations

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Static Analysis of Routing and Firewall Policy Configurations

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

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

Rok uplatnění

2012

Kód důvěrnosti údajů

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

Název statě ve sborníku

e-Business and Telecommunications

ISBN

978-3-642-25205-1

ISSN

1865-0929

e-ISSN

—

Počet stran výsledku

15

Strana od-do

39-53

Název nakladatele

Springer Science+Business Media B.V.

Místo vydání

Heidelberg

Místo konání akce

Athens

Datum konání akce

26. 7. 2010

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000309952400002