Conference paper

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr and RÁB Jaroslav. Static Analysis of Routing and Firewall Policy Configurations. In: e-Business and Telecommunications. Heidelberg: Springer Science+Business Media B.V., 2012, pp. 39-53. ISBN 978-3-642-25205-1. ISSN 1865-0929. Available from: https://www.scopus.com/record/display.uri?eid=2-s2.0-84857521040&origin=resultslist
Publication language:english
Original title:Static Analysis of Routing and Firewall Policy Configurations
Title (cs):Statická analýza směrování a konfigurace politiky firewallů
Pages:39-53
Proceedings:e-Business and Telecommunications
Conference:7th International Joint Conference on e-Business and Telecommunications
Series:LNCS CCIS, Vol.222
Place:Heidelberg, DE
Year:2012
URL:https://www.scopus.com/record/display.uri?eid=2-s2.0-84857521040&origin=resultslist
ISBN:978-3-642-25205-1
Journal:Communications in Computer and Information Science, Vol. 2012, No. 222, Heidelberg, DE
ISSN:1865-0929
Publisher:Springer Science+Business Media B.V.
URL:http://www.springerlink.com/content/978-3-642-25206-8 [PDF]
Files: 
+Type Name Title Size Last modified
iconsveda_2012_ccis.pdf239 KB2012-03-02 09:49:47
iconsveda_2012_ccis-adapt.pdf950 KB2012-07-12 17:24:18
^ Select all
With selected:
Keywords
Reachability, routing, filtering, forwarding
Annotation

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.

BibTeX:
@INPROCEEDINGS{
   author = {Miroslav {\v{S}}v{\'{e}}da and Ond{\v{r}}ej
	Ry{\v{s}}av{\'{y}} and Gayan Silva De and Petr
	Matou{\v{s}}ek and Jaroslav R{\'{a}}b},
   title = {Static Analysis of Routing and Firewall Policy
	Configurations},
   pages = {39--53},
   booktitle = {e-Business and Telecommunications},
   series = {LNCS CCIS, Vol.222},
   journal = {Communications in Computer and Information Science},
   volume = {2012},
   number = {222},
   year = {2012},
   location = {Heidelberg, DE},
   publisher = {Springer Science+Business Media B.V.},
   ISBN = {978-3-642-25205-1},
   ISSN = {1865-0929},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9876}
}

Your IPv4 address: 54.146.47.178
Switch to IPv6 connection

DNSSEC [dnssec]