OSPF Algebraic Formal Modelling using ACP - A Formal Description on OSPF Routing Protocol

Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Carlos Juiz

Abstract

OSPF may well be the most popular routing protocol within Autonomous Systems, being used in all kind of networks around the world. In this paper, we first design a basic model by focusing on the main tasks of a router running OSPF, hence being neighbour discovery and a simplified route management, by means of algebraic derivations using Algebra of Communicating Processes (ACP). Taking this model as a base case scenario, we extend it by adding up some timing behaviour present in real OSPF implementations and by detailing the packet exchanges involved in route management.

Download


Paper Citation


in Harvard Style

Juan Roig P., Alcaraz S., Gilly K. and Juiz C. (2018). OSPF Algebraic Formal Modelling using ACP - A Formal Description on OSPF Routing Protocol.In Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2: DCNET, ISBN 978-989-758-319-3, pages 55-66. DOI: 10.5220/0006838700550066


in Bibtex Style

@conference{dcnet18,
author={Pedro Juan Roig and Salvador Alcaraz and Katja Gilly and Carlos Juiz},
title={OSPF Algebraic Formal Modelling using ACP - A Formal Description on OSPF Routing Protocol},
booktitle={Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2: DCNET,},
year={2018},
pages={55-66},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006838700550066},
isbn={978-989-758-319-3},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2: DCNET,
TI - OSPF Algebraic Formal Modelling using ACP - A Formal Description on OSPF Routing Protocol
SN - 978-989-758-319-3
AU - Juan Roig P.
AU - Alcaraz S.
AU - Gilly K.
AU - Juiz C.
PY - 2018
SP - 55
EP - 66
DO - 10.5220/0006838700550066