Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott. Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation. In 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA. pages 113-120, IEEE Computer Society, 2006. [doi]
Abstract is missing.