[e2e] Reacting to corruption based loss - refs on provable stuff

[Jon Crowcroft]

In missive <E1DgHBa-00063W-00 at mta1.cl.cam.ac.uk>, Jon Crowcroft typed:

 >>1. my colleagues have a paper at SIGCOMM coming up about using higher order logic

see
http://www.cl.cam.ac.uk/users/pes20/Netsem/index.html
 
 >> >>"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.

see
The Price of Safety in an Active Network
D. Scott Alexander, Paul B. Menage, Angelos D. Keromytis,. William A. Arbaugh, Kostas G
Anagnostakis, ...
www.cis.upenn.edu/~switchware/papers/saneimp-jcn.pdf

j.