loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Pedro Juan Roig 1 ; Salvador Alcaraz 2 ; Katja Gilly 2 and Carlos Juiz 3

Affiliations: 1 Department of Physics and Computer Architecture, Miguel Hernández University, 03202 Elche (Alicante), Spain, Department of Computer Science, University of the Balearic Islands, 07122 Palma de Mallorca and Spain ; 2 Department of Physics and Computer Architecture, Miguel Hernández University, 03202 Elche (Alicante) and Spain ; 3 Department of Computer Science, University of the Balearic Islands, 07122 Palma de Mallorca and Spain

Keyword(s): ACP, Formal Protocol Specification, Networking, OSPF.

Related Ontology Subjects/Areas/Topics: Data Communication Networking ; Network Protocols ; Telecommunications

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 107.21.176.63

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ICETE; ISBN 978-989-758-319-3; ISSN 2184-3236, SciTePress, pages 55-66. DOI: 10.5220/0006838702210232

@conference{icete18,
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 - ICETE},
year={2018},
pages={55-66},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006838702210232},
isbn={978-989-758-319-3},
issn={2184-3236},
}

TY - CONF

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