On the formal verification of a cluster based key management protocol for Wireless Sensor Networks
- Reiner Dojen
- , Fan Zhang
- , Tom Coffey
- University of Limerick
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review