On the Formal Verification of a Cluster Based Key Management Protocol for Wireless Sensor Networks.
Reiner DojenFan ZhangTom CoffeyPublished in: IPCCC (2008)
Keyphrases
- formal verification
- key management
- wireless sensor networks
- key distribution
- model checker
- provably secure
- security protocols
- group communication
- key management scheme
- model checking
- key establishment
- key pre distribution
- resource constrained
- cryptographic protocols
- energy efficient
- lightweight
- symmetric key
- elliptic curve
- sensor networks
- secure communication
- energy consumption
- sensor nodes
- security services
- diffie hellman
- digital signature
- blind signature
- identity based cryptography
- formal methods
- base station
- ad hoc networks
- routing algorithm
- security properties
- wireless ad hoc networks
- multi hop
- public key cryptography
- routing protocol
- authentication protocol
- secret key
- description language