O determinismo é uma das quatro propriedades da replicação de máquinas de estado. O mesmo comando executado no mesmo estado inicial gera o mesmo estado final.

O acordo é a propriedade principal da replicação de máquinas de estado, onde todos os servidores executam comandos diferentes a cada execução.

O Byzantine Fault Tolerance (BFT) é um algoritmo de tolerância à intrusão com o objetivo de ter um protocolo correto e com bom desempenho e que, em relação à correção, satisfaz sempre as suas propriedades de segurança.

A replicação consiste em distribuir cópias do código e dos dados de determinado serviço por um conjunto de servidores, para garantir a disponibilidade e a integridade do serviço se houver intrusões em um número limitado de réplicas.

O Rampart é um sistema que suporta RME TI, sendo mais genérico do que o BFT, pois é um sistema de comunicação em grupo que oferece primitivas de comunicação.