Towards an Algebra of Routing Tables

Select |




Print


Höfner, Peter; McIver, Annabelle

Höfner, Peter; McIver, Annabelle


2011-05-30


Conference Material


12th International Conference on Relational and Algebraic Methods in Computer Science


Rotterdam, Netherlands


212-229


We use well-known algebraic concepts like semirings and matrices to model and argue about Wireless Mesh Networks. These networks are used in a wide range of application areas, including public safety and transportation. Formal reasoning therefore seems to be necessary to guarantee safety and security. In this paper we aim towards an algebraic characterisation of the AODV protocol.


Springer


Mesh networks, AODV, algebra


https://doi.org/10.1007/978-3-642-21070-9_17


http://www.eur.nl/fw/english/ramics12/


Copyright, Springer 2011


nicta:4537


Höfner, Peter; McIver, Annabelle. Towards an Algebra of Routing Tables. In: Harrie de Swart Editor, editor/s. 12th International Conference on Relational and Algebraic Methods in Computer Science; Rotterdam, Netherlands. Springer; 2011-05-30. 212-229. https://doi.org/10.1007/978-3-642-21070-9_17



Loading citation data...

Citation counts
(Requires subscription to view)