E.4. Concepts

This section offers formal definitions for some basic concepts related to the protocol.


For our purposes, we characterize a router by the IP addresses of its interfaces and the routing relevant protocols its supports. In this specific sense, we define a router as an ordered pair consisting of the set of IP addresses and supported protocols:

< {ip1, ip2, ..., ipn}, {p1, p2, ..., pn}>.

We refer to the set of IP addresses associated with the interfaces of a router as its iset and the supported protocols as its pset. We represent the iset and pset of a router r as




Virtual Router

We define a virtual router as a tuple (or as an ordered set) consisting of

  • authentication information

  • advertisement interval

  • preemption ...

Get VRRP: Increasing Reliability and Failover with the Virtual Router Redundance Protocol now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.