Survivable SCADA Via Intrusion-Tolerant Replication
Practical byzantine fault tolerance and proactive recovery