Study on OSPF algebraic formal modelling using ACP

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

Home
→
Producció científica
→
Articles
→
Multidisciplinar
→
View Item

dc.contributor.author	Roig, Pedro Juan
dc.contributor.author	Alcaraz, Salvador
dc.contributor.author	Gilly, Katja
dc.contributor.author	Juiz, Carlos
dc.date.accessioned	2024-02-01T08:39:46Z
dc.date.available	2024-02-01T08:39:46Z
dc.identifier.uri	http://hdl.handle.net/11201/164447
dc.description.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.
dc.format	application/pdf
dc.relation.isformatof	https://doi.org/10.5755/j01.eie.24.4.21484
dc.relation.ispartof	Elektronika Ir Elektrotechnika, 2018, vol. 24, num. 4, p. 77-83
dc.rights	, 2018
dc.subject.classification	Electrònica i telecomunicacions
dc.subject.classification	51 - Matemàtiques
dc.subject.classification	004 - Informàtica
dc.subject.other	Electronics and telecommunication
dc.subject.other	51 - Mathematics
dc.subject.other	004 - Computer Science and Technology. Computing. Data processing
dc.title	Study on OSPF algebraic formal modelling using ACP
dc.type	info:eu-repo/semantics/article
dc.date.updated	2024-02-01T08:39:47Z
dc.subject.keywords	ACP
dc.subject.keywords	Formal protocol specification
dc.subject.keywords	Networking
dc.subject.keywords	OSPF
dc.rights.accessRights	info:eu-repo/semantics/openAccess
dc.identifier.doi	https://doi.org/10.5755/j01.eie.24.4.21484