Network-Attack-Resilient Intrusion-Tolerant SCADA for the Power Grid
Practical byzantine fault tolerance and proactive recovery