Layouni, Mohamed (2003) On the formal verification of an intrusion-tolerant group communication protocol. Masters thesis, Concordia University.