Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial
The Hierarchical Daisy Architecture for Causal Delivery
Network-Attack-Resilient Intrusion-Tolerant SCADA for the Power Grid
SieveQ: A Layered BFT Protection System for Critical Services
Security Analysis of KEA Authenticated Key Exchange Protocol
Power grids reliability appraisal with intrusion tolerant capability in SCADA systems