Faculty of Information Technology, BUT

Publication Details

Reachability Analysis in Dynamically Routed Networks

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, DE Silva Gayan, MATOUŠEK Petr and RÁB Jaroslav. Reachability Analysis in Dynamically Routed Networks. In: Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011, pp. 197-205. ISBN 978-0-7695-4379-6.
Czech title
Analýza dosažitelnosti v dynamicky směrovaných sítích
Type
conference paper
Language
english
Authors
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)
De Silva Gayan (FIT BUT)
Matoušek Petr, Ing., Ph.D., M.A. (DIFS FIT BUT)
Ráb Jaroslav, Ing. (DIFS FIT BUT)
Keywords
IP-networks; network configuration; network design; network reachability; routing protocols
Abstract
In this paper, we introduce a novel approach to reachability analysis of dynamically routed networks. The goal is to determine the network-wide reachability using static analysis of configuration files gathered from forwarding devices. We describe a method that can compute the reachability in networks with a mix of static routing configurations, distance vector routing protocols, filtering routing updates and redistributions. The method computes a network-wide approximation of distributed routing information using the standard graph algorithms. Thus, for any network state, we can determine a set of active paths used for packet delivery. The outcomes of the method can be, for instance, used during the conformance checking of distributed access control lists against network security policies.
Published
2011
Pages
197-205
Proceedings
Proceedings of the IEEE ECBS 2011
Conference
18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems , Las Vegas, US
ISBN
978-0-7695-4379-6
Publisher
IEEE Computer Society
Place
Piscataway, NJ, US
BibTeX
@INPROCEEDINGS{FITPUB9606,
   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 = "Reachability Analysis in Dynamically Routed Networks",
   pages = "197--205",
   booktitle = "Proceedings of the IEEE ECBS 2011",
   year = 2011,
   location = "Piscataway, NJ, US",
   publisher = "IEEE Computer Society",
   ISBN = "978-0-7695-4379-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9606"
}
Back to top