Network-Attack-Resilient Intrusion-Tolerant SCADA for the Power Grid
Efficient Byzantine Fault-Tolerance