[cap-talk] is defensive correctness a plausible null hypothesis?
Viswanathan, Kapaleeswaran (HP Labs India)
kapali at hp.com
Tue May 17 04:43:07 PDT 2011
The two paper OZE.pdf and TGC05.pdf appear to describe defensive consistency differently. TGC05 talks about defensive consistency in terms of service guarantees: server provides well-behaved clients with either no service or correct service but never provides a wrong service. OZE talks in terms of well-formed inputs. I am not sure if both are equivalent or not.
Are you talking about a mathematicians (human verifiable) proof or a machine verifiable proof of defensive consistency? I do not believe that the concept may be ameneable to machine verifiable proof.
More information about the cap-talk