A formally verified decentralized key management architecture for wireless sensor networks / Y.W. Law ... [et al.]
A formally verified decentralized key management architecture for wireless sensor networks