Detail publikačního výsledku

Static Analysis of Routing and Firewall Policy Configurations

ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J.

Originální název

Static Analysis of Routing and Firewall Policy Configurations

Anglický název

Static Analysis of Routing and Firewall Policy Configurations

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Reachability, routing, filtering, forwarding

Klíčová slova v angličtině

Reachability, routing, filtering, forwarding

Autoři

ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J.

Rok RIV

2013

Vydáno

02.02.2012

Nakladatel

Springer Science+Business Media B.V.

Místo

Heidelberg

ISBN

978-3-642-25205-1

Kniha

e-Business and Telecommunications

Edice

LNCS CCIS, Vol.222

ISSN

1865-0929

Periodikum

Communications in Computer and Information Science

Svazek

2012

Číslo

222

Stát

Spolková republika Německo

Strany od

39

Strany do

53

Strany počet

15

URL

https://www.scopus.com/record/display.uri?eid=2-s2.0-84857521040&origin=resultslist

BibTex

@inproceedings{BUT91464,
  author="Miroslav {Švéda} and Ondřej {Ryšavý} and Hidda Marakkala Gayan Ruchika {de Silva} and Petr {Matoušek} and Jaroslav {Ráb}",
  title="Static Analysis of Routing and Firewall Policy Configurations",
  booktitle="e-Business and Telecommunications",
  year="2012",
  series="LNCS CCIS, Vol.222",
  journal="Communications in Computer and Information Science",
  volume="2012",
  number="222",
  pages="39--53",
  publisher="Springer Science+Business Media B.V.",
  address="Heidelberg",
  doi="10.1007/978-3-642-25206-8\{_}2",
  isbn="978-3-642-25205-1",
  issn="1865-0929",
  url="https://www.scopus.com/record/display.uri?eid=2-s2.0-84857521040&origin=resultslist"
}

Dokumenty

sveda_2012_ccis
sveda_2012_ccis-adapt