Things we'd like to know about BGP[++]


Validity: If there exists a valid path, then there exists a corresponding valid route. 

Visibility: If there exists a valid route, then there exists a corresponding valid path. 

Safety: Convergence to a stable path assignment.

Determinism: Same inputs => the same assignment.

Information Flow Control