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

Jon Crowcroft Jon.Crowcroft at cl.cam.ac.uk
Thu Jun 9 05:43:39 PDT 2005

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

 >> >>"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.

The Price of Safety in an Active Network
D. Scott Alexander, Paul B. Menage, Angelos D. Keromytis,. William A. Arbaugh, Kostas G
Anagnostakis, ...


More information about the end2end-interest mailing list