Information-flow Control


Example: "stateless" BGP implementation
(phenomenon observed by Labovitz in 1997.)


A: peer A; prefixes from A: customers
C: peer C; prefixes from C: customers
D: customers; prefixes from D: public