Byzantine failures

There’s a fascinating article in the most recent issue of RISKS Digest about anomalies and Byzantine failures in flight control systems. I can’t explain it nearly as well as Peter Ladkin, who wrote it, so I won’t try. Although Exchange and Windows aren’t generally vulnerable to Byzantine faults, it’s a fascinating area of study in security-critical systems: how do you design systems that keep working when their inputs are lying?