The properties: not complete, but important


Validity: Will packets that use this route get there?
basic correctness property
Visibility: Is best route chosen from all possibilities?
optimal routing, robustness in failure scenarios
Safety: Is there policy-induced oscillation?
network stability
Determinism: Can a snapshot of the network state determine the result of the "computation"?
ease of debugging, traffic engineering
Information-flow Control: Is my network exposing information that should be hidden?
competitive aspects