Formal models of the OSPF routing protocol
| dc.contributor.author | Drury, Jack | |
| dc.contributor.author | Hoefner, Peter | |
| dc.contributor.author | Wang, Weiyou | |
| dc.coverage.spatial | Dublin, Ireland | |
| dc.date.accessioned | 2024-01-19T00:07:20Z | |
| dc.date.created | April 26 2020 | |
| dc.date.issued | 2020 | |
| dc.date.updated | 2022-10-02T07:16:57Z | |
| dc.description.abstract | We present three formal models of the OSPF routing protocol. The first two are formalised in the timed process algebra T-AWN, which is not only tailored to routing protocols, but also specifies protocols in pseudo-code that is easily readable. The difference between the two models lies in the level of detail (level of abstraction). From the more abstract model we then generate the third model. It is based on networks of timed automata and can be executed in the model checker Uppaal. | en_AU |
| dc.format.mimetype | application/pdf | en_AU |
| dc.identifier.uri | http://hdl.handle.net/1885/311625 | |
| dc.language.iso | en_AU | en_AU |
| dc.provenance | https://www.eptcs.org/..."Copyright on all papers is retained by the author, and full-text electronic access to all papers is freely available, without any need for registration or subscription. non-exclusive license to distribute" from the publisher site (as at 19 Jan 2024) | |
| dc.publisher | Open Publishing Association | en_AU |
| dc.relation.ispartofseries | 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020) | en_AU |
| dc.rights | © 2020 Open Publishing Association | en_AU |
| dc.source | Electronic Proceedings in Theoretical Computer Science, EPTCS Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020) | en_AU |
| dc.title | Formal models of the OSPF routing protocol | en_AU |
| dc.type | Conference paper | en_AU |
| dcterms.accessRights | Open Access | en_AU |
| local.bibliographicCitation.lastpage | 120 | en_AU |
| local.bibliographicCitation.startpage | 72 | en_AU |
| local.contributor.affiliation | Drury, Jack, CSIRO | en_AU |
| local.contributor.affiliation | Hoefner, Peter, College of Engineering and Computer Science, ANU | en_AU |
| local.contributor.affiliation | Wang, Weiyou, CSIRO | en_AU |
| local.contributor.authoremail | u1094212@anu.edu.au | en_AU |
| local.contributor.authoruid | Hoefner, Peter, u1094212 | en_AU |
| local.description.notes | Imported from ARIES | en_AU |
| local.identifier.absfor | 460609 - Networking and communications | en_AU |
| local.identifier.absfor | 461203 - Formal methods for software | en_AU |
| local.identifier.ariespublication | a383154xPUB13785 | en_AU |
| local.identifier.doi | 10.4204/EPTCS.316.4 | en_AU |
| local.identifier.scopusID | 2-s2.0-85085709188 | |
| local.identifier.uidSubmittedBy | a383154 | en_AU |
| local.type.status | Published Version | en_AU |
Downloads
Original bundle
1 - 1 of 1
Loading...
- Name:
- Formal Models of the OSPE Routing Protocol.pdf
- Size:
- 1.56 MB
- Format:
- Adobe Portable Document Format
- Description: