Information-flow Control


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


LEAK...