loading
Documents

Research.Publish.Connect.

Paper

Authors: Pedro Juan Roig 1 ; 1 ; Salvador Alcaraz 2 ; 2 ; Katja Gilly 2 ; 2 and Carlos Juiz 3 ; 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

ISBN: 978-989-758-319-3

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.

PDF ImageFull Text

Download
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 100.26.182.28

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 - Volume 2: ICETE, ISBN 978-989-758-319-3, 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 - Volume 2: ICETE,},
year={2018},
pages={55-66},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006838702210232},
isbn={978-989-758-319-3},
}

TY - CONF

JO - Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2: ICETE,
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/0006838702210232

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.