titoli, abstracts, parole chiave >>>
Network verification via routing table queries

Bampas, Evangelos and Bilò, Davide and Drovandi, Guido and Klasing, Ralf and Proietti, Guido and Gualà, Luciano (2015) Network verification via routing table queries. Journal of Computer and System Sciences, Vol. 81 (1), p. 234-248. ISSN 0022-0000. eISSN 1090-2724. Article.

Full text not available from this repository.

DOI: 10.1016/j.jcss.2014.06.003

Abstract

The network verification problem is that of establishing the accuracy of a high-level description of its physical topology, by making as few measurements as possible on its nodes. This task can be formalized as an optimization problem that, given a graph and a query model specifying the information returned by a query at a node, asks for finding a minimum-size subset of nodes to be queried so as to univocally identify the graph. This problem has been studied with respect to different query models, assuming that a node had some global knowledge about the network. Here, we propose a new query model based on the local knowledge a node instead usually has. Quite naturally, we assume that a query at a given node returns the associated routing table, i.e., a set of entries which provides, for each destination node, a corresponding (set of) first-hop node(s) along an underlying shortest path.

Item Type:Article
ID Code:10014
Status:Published
Refereed:Yes
Uncontrolled Keywords:Network verification, Graph/network topology, Computational complexity, Approximation algorithms
Subjects:Area 01 - Scienze matematiche e informatiche > INF/01 Informatica
Divisions:001 Università di Sassari > 01-a Nuovi Dipartimenti dal 2012 > Scienze Umanistiche e Sociali
Publisher:Elsevier
ISSN:0022-0000
eISSN:1090-2724
Additional Information:A preliminary version of this work was presented at the 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO'11), June 26–29, 2011, Gdansk, Poland, Lecture Notes in Computer Science, vol. 6796, Springer, 2011, pp. 270–281.
Deposited On:08 Aug 2014 11:52

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page