Formal Verification of a Key Agreement Protocol for Wireless Sensor Networks.
Yue LiDehua ChenThomas NewePublished in: TrustCom (2012)
Keyphrases
- formal verification
- key agreement protocol
- wireless sensor networks
- key management
- model checking
- provably secure
- energy efficient
- sensor networks
- model checker
- diffie hellman
- key distribution
- routing algorithm
- base station
- bounded model checking
- symbolic model checking
- sensor nodes
- energy consumption
- automated verification
- resource constrained
- routing protocol
- temporal logic
- sensor data
- lightweight
- secret sharing scheme
- security protocols
- response time