On the formal verification of an intrusion-tolerant group communication protocol
Mohamed Layouni · Spectrum Research Repository (Concordia University) · 2003
Communication Protocol and submitted in partial fulfilment of the requirements for the degree of Master of Applied Science complies with the regulations of this University and meets the accepted standards with respect to originality and quality. Signed by the final examining committee: Dr. M. R. Soleymani Dr. M. Debbabi Dr. F. Khendek Dr. S. Tahar Approved by Chair of the ECE Department