Probabilistic validation of an intrusion-tolerant replication system | IEEE Conference Publication | IEEE Xplore