Michael K. Reiter Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart. 68-80 1994 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/191177.191194 db/conf/ccs/ccs1994.html#Reiter94