[e2e] Reacting to corruption based loss

[RJ Atkinson]

On Jun 7, 2005, at 22:38, David P. Reed wrote:
> I really think we missed the boat by not just proving all network  
> components correct.   Errors are really unacceptable, given modern  
> mathematical proof techniques.
>
> Since Cannara believes that all erroneous packets can be reliably  
> detected and signaled on the control plane, we are nearly there.    
> Just put a theorem prover in each router, prove that the packet  
> will be delivered, and you don't even have to put it on the output  
> queue!

     Given the amount of router CPU that would be needed to deploy
S-BGP, and the amount of energy being spent in some quarters pushing
deployment of S-BGP onto the operators, adding a theorem prover on the
router CPU would be easy.  Good idea.

:-)

Ran