Papers

Švéda, M., Ryšavý, O., De, S., G., Matoušek, P., Ráb, J.: Reachability Analysis in Dynamically Routed Networks, In: Proceedings of the IEEE ECBS 2011, Piscataway, NJ, US, IEEE CS, 2011, p. 197-205, ISBN 978-0-7695-4379-6

Publication language:

english

Original title:

Reachability Analysis in Dynamically Routed Networks

Title (cs):

Analýza dosažitelnosti v dynamicky směrovaných sítích

Pages:

197-205

Proceedings:

Proceedings of the IEEE ECBS 2011

Conference:

18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems

Place:

Piscataway, NJ, US

Year:

2011

ISBN:

978-0-7695-4379-6

Publisher:

IEEE Computer Society

Files:

Keywords

IP-networks; network configuration; network design; network reachability; routing protocols

Annotation

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.

BibTeX:

@INPROCEEDINGS{
   author = {Miroslav Švéda and Ondřej Ryšavý and Gayan Silva De and Petr
	Matoušek and Jaroslav Rá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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9606}
}

Nacházíte se v sekcích

Main menu

Papers