Study on OSPF Algebraic Formal Modelling Using ACP

Authors

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

DOI:

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

Keywords:

ACP, Formal protocol specification, Networking, OSPF.

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.

DOI: http://dx.doi.org/10.5755/j01.eie.24.4.21484

Downloads

Published

2018-08-20

How to Cite

Roig, P. J., Alcaraz, S., Gilly, K., & Juiz, C. (2018). Study on OSPF Algebraic Formal Modelling Using ACP. Elektronika Ir Elektrotechnika, 24(4), 77-83. https://doi.org/10.5755/j01.eie.24.4.21484

Issue

Vol. 24 No. 4 (2018)

Section

TELECOMMUNICATIONS ENGINEERING

License

The copyright for the paper in this journal is retained by the author(s) with the first publication right granted to the journal. The authors agree to the Creative Commons Attribution 4.0 (CC BY 4.0) agreement under which the paper in the Journal is licensed.

By virtue of their appearance in this open access journal, papers are free to use with proper attribution in educational and other non-commercial settings with an acknowledgement of the initial publication in the journal.