65
IP SOURCE ADDRESS VALIDATION SOLUTION
© 2010 Taylor & Francis Group, LLC
O(v1,v2) denotes the egress interface of router v1, where v1 and v2
are connected together with a link;
dist[v] denotes the distance from the source router s to the destina-
tion router v;
dist_between(u,v) denotes the distance between routers u and v;
previous[v] denotes the previous neighbor of router v on the path
from the source to the destination;
following[v] denotes the following neighbor of router v on the path
from the source to the destination;
FlowEntry(P
1
, P
2
, I, O) denotes a FlowTable entry, where P
1
denotes
the prefix of the source address; P
2
the prefix of the destination address; I
the ingress interface; O the egress interface; and F(v).add (FlowEntry(P
1
,
P
2