Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott. Exploring adaptability of secure group communication using formal prototyping techniques. In Fabio Kon, Fábio M. Costa, Nanbor Wang, Renato Cerqueira, editors, Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, Toronto, Ontario, Canada, October 19, 2004. pages 232-237, ACM, 2004. [doi]
Abstract is missing.