On the Formal Verification of a Cluster Based Key Management Protocol for Wireless Sensor Networks.

Reiner Dojen, Fan Zhang, Tom Coffey

Browse the full IPCCC paper archive.