• Study on OSPF Algebraic Formal...

Treffer: Study on OSPF Algebraic Formal Modelling Using ACP.

Title:
Study on OSPF Algebraic Formal Modelling Using ACP.
Authors:
Roig, Pedro Juan1,2 pedro.roig@graduado.umh.es, Alcaraz, Salvador1, Gilly, Katja1, Juiz, Carlos2
Source:
Electronics & Electrical Engineering. 2018, Vol. 24 Issue 4, p77-83. 7p.
Subject Terms:
Open Shortest Path First (Computer network protocol), Network routing protocols, Formal description techniques (Computer science), Data packeting, Arithmetic
Database:
Supplemental Index

Weitere Informationen

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. [ABSTRACT FROM AUTHOR]