A Comparison of Intrusion-Tolerant System Architectures | Synapse