Title | ||
---|---|---|
Proposing, specifying, and validating a controller-based routing protocol for a clean-slate Named-Data Networking |
Abstract | ||
---|---|---|
Named-Data Networking (NDN) is the most prominent proposal for a clean-slate proposal of Future Internet. Nevertheless, NDN routing schemes present scalability concerns due to the required number of stored routes and of control messages. In this work, we present a controller-based routing protocol using a formal method to unambiguously specify, and validate to prove its correctness. Our proposal codes signaling information on content names, avoiding control message overhead, and reduces router memory requirements, storing only the routes for simultaneously consumed prefixes. Additionally, the protocol installs a new route on all routers in a path with a single route request to the controller, avoiding replication of routing information and automating router provisioning. As a result, we provide a protocol proposal description using the Specification and Description Language and we validate the protocol, proving that CRoS behavior is free of dead or live locks. Furthermore, the protocol validation guarantees that the scheme ensures a valid working path from consumer to producer, even if it does not assure the shortest path. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/NOF.2016.7810122 | 2016 7th International Conference on the Network of the Future (NOF) |
Keywords | Field | DocType |
controller-based routing protocol,clean-slate named-data networking,NDN routing schemes,Future Internet,formal method,code signaling information,control message overhead avoidance,router memory requirement reduction,protocol proposal description,specification language,description language,CRoS behavior | Open Shortest Path First,Path vector protocol,Enhanced Interior Gateway Routing Protocol,Computer science,Computer network,Wireless Routing Protocol,Border Gateway Protocol,Zone Routing Protocol,Virtual Router Redundancy Protocol,Distributed computing,Routing protocol | Conference |
ISSN | ISBN | Citations |
2377-8652 | 978-1-5090-4672-0 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joao Vitor Torres | 1 | 12 | 1.32 |
Igor D. Alvarenga | 2 | 18 | 3.06 |
Aloysio C. P. Pedroza | 3 | 5 | 1.78 |
Otto Carlos Muniz Bandeira Duarte | 4 | 686 | 55.46 |