Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation.
Sebastian Gutierrez-NolascoNalini VenkatasubramanianMark-Oliver StehrCarolyn L. TalcottPublished in: PRDC (2006)
Keyphrases
- group communication
- formal specification
- wireless mesh networks
- fault tolerance
- key management
- model checking
- reverse engineering
- computing environments
- message delivery
- fault tolerant
- peer to peer
- formal methods
- key distribution
- computer networks
- communication networks
- wireless sensor networks
- database systems
- multi channel
- wireless networks
- lightweight
- protocol specification