Please use this identifier to cite or link to this item:
https://hdl.handle.net/11000/35336
Study on OSPF Algebraic Formal Modelling Using ACP
Title:
Study on OSPF Algebraic Formal Modelling Using ACP |
Authors:
Roig, Pedro Juan
Alcaraz, Salvador
Gilly, Katja 
Juiz, Carlos |
Editor:
Kauno Technologijos Universitetas |
Department:
Departamentos de la UMH::Ingeniería de Computadores |
Issue Date:
2020 |
URI:
https://hdl.handle.net/11000/35336 |
Abstract:
OSPF is a commonly used link state routing protocol in order to interconnect network devices inside an Autonomous System. This paper focuses on achieving a detailed modelling for OSPF by performing manual algebraic derivations according to Algebra of Communicating Processes (ACP) axioms. The aim of this detailed model is to get a realistic approach of OSPF dynamics by applying the timers involved and by describing the full Link State Advertisement (LSA) exchange process.
|
Keywords/Subjects:
ACP
Formal protocol specification
Networking
OSPF |
Knowledge area:
CDU: Generalidades.: Ciencia y tecnología de los ordenadores. Informática. |
Type of document:
info:eu-repo/semantics/article |
Access rights:
info:eu-repo/semantics/openAccess
Attribution-NonCommercial-NoDerivatives 4.0 Internacional |
DOI:
https://doi.org/10.5755/j01.eie.24.4.21484 |
Published in:
Elektronika ir Elektrotechnika |
Appears in Collections:
Artículos Ingeniería de computadores
|
???jsp.display-item.text9???
.png){kind=logo}
