Re:Real System Failures
by nickpsecurity on Friday July 14, 2017 @08:57AM
(#14769413)
Partial hardware failures exist. The wrong values start going through the system. A bit flip is easiest example. NonStop has been countering both partial and total HW failures in their design a long time now.
See the abstract in Lamport's original paper introducing the Byzantine generals problem [0].
We also see a similar issue in error correction -- an introductory undergrad course might teach this via Lagrange interpolation [1], where you need only n+k of the coefficients in the presence of erasure errors, but n+2k in the general case (where n is the size of the actual message, and k is the maximum number of errors to correct).
[0] https://www.microsoft.com/en-us/research/wp-content/uploads/...
[1] https://inst.eecs.berkeley.edu/~cs70/fa14/notes/n8.pdf