Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation.

Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott

Browse the full PRDC paper archive.