Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.
Llanos TobarraDiego CazorlaFernando CuarteroGregorio DíazMaría-Emilia CambroneroPublished in: Telecommun. Syst. (2009)
Keyphrases
- security protocols
- model checking
- wireless sensor networks
- key management
- temporal logic
- resource constrained
- security mechanisms
- energy consumption
- formal verification
- sensor nodes
- automated verification
- verification method
- temporal properties
- model checker
- sensor networks
- formal specification
- symbolic model checking
- timed automata
- routing algorithm
- computation tree logic
- transition systems
- bounded model checking
- formal methods
- linear temporal logic
- alternating time temporal logic
- reactive systems
- power consumption
- lightweight
- concurrent systems
- information systems
- security requirements
- routing protocol