A Lightweight Formal Analysis of a Multicast Key Management Scheme.

Mana Taghdiri Daniel Jackson

Published in: FORTE (2003)

Keyphrases

key management scheme
lightweight
formal analysis
wireless sensor networks
key management
sensor networks
mobile ad hoc networks
ad hoc networks
energy consumption
formal methods
sensor nodes
key distribution
resource constrained
routing algorithm
routing protocol
knowledge acquisition
low cost
response time