![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Tuesday 14 August 2018, 13:15-13:45
Asynchronous Convergence of Policy-Rich Distributed Bellman-Ford Routing Protocols
- đ¤ Speaker: Timothy Griffin (University of Cambridge), Matthew Daggitt
- đ Date & Time: Tuesday 14 August 2018, 13:15 - 13:45
- đ Venue: Computer Laboratory, William Gates Building, Room FW11
Abstract
Several modern day routing protocols suffer from convergence problems. This talk will explain the algebraic approach to routing protocol design that allows one to reason about the behaviour of whole families of routing protocols at the same time. The talk will then discuss the algebraic conditions sufficient to guarantee desirable convergence guarantees for the protocol. In particular we take the “strictly increasing” condition of Sobrinho and show that several new results for distance and path-vector protocols including a weaker asynchronous model and a guarantee of a unique final state. Finally, the talk will discuss how the results have been fully formalised in the Agda theorem prover and the resulting library is publicly available for others to use and extend.
Series This talk is part of the Computer Laboratory NetOS Group Talklets series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computer Laboratory NetOS Group Talklets
- Computer Laboratory, William Gates Building, Room FW11
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.