Study on OSPF Algebraic Formal Modelling Using ACP

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

Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/11000/35336

Study on OSPF Algebraic Formal Modelling Using ACP

Ver/Abrir:
Study on OSPF Algebraic Formal Modelling Using ACP.pdf

248,53 kB
Adobe PDF
Compartir:

Título :
Study on OSPF Algebraic Formal Modelling Using ACP

Autor :
Roig, Pedro Juan

Alcaraz, Salvador

Gilly, Katja

Juiz, Carlos

Editor :
Kauno Technologijos Universitetas

Departamento:
Departamentos de la UMH::Ingeniería de Computadores

Fecha de publicación:
2020

URI :
https://hdl.handle.net/11000/35336

Resumen :
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.

Palabras clave/Materias:
ACP
Formal protocol specification
Networking
OSPF

Área de conocimiento :
CDU: Generalidades.: Ciencia y tecnología de los ordenadores. Informática.

Tipo de documento :
info:eu-repo/semantics/article

Derechos de acceso:
info:eu-repo/semantics/openAccess
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

DOI :
https://doi.org/10.5755/j01.eie.24.4.21484

Aparece en las colecciones:
Artículos Ingeniería de computadores

Mostrar el registro Dublin Core completo del ítem Ver estadísticas

La licencia se describe como: Atribución-NonComercial-NoDerivada 4.0 Internacional.