Constraints: eBGP Route propagation


What property does it address? information-flow
What type of rule will verify it? control-flow
One router, or multiple? multiple
Need information from other routing protocols? (IGP)
Need a specification of intended behavior? yes
Need external information? no
Single AS, or more than one? single AS
Can static analysis catch the error? yes