Modelling secure wireless sensor networks routing protocols with timed automata.
Llanos TobarraDiego CazorlaFernando CuarteroJuan José PardoPublished in: PM2HW2N (2008)
Keyphrases
- routing protocol
- wireless sensor networks
- timed automata
- secure routing
- key management
- ad hoc networks
- model checking
- routing algorithm
- key management scheme
- biological inspired
- sensor networks
- energy aware
- energy consumption
- network topology
- theorem prover
- multi hop
- energy efficient
- sensor nodes
- mobile ad hoc networks
- network lifetime
- energy efficiency
- routing scheme
- data transmission
- data delivery
- resource constrained
- base station
- theorem proving
- mobile nodes
- wireless ad hoc networks
- mac protocol
- first order logic
- real time systems
- end to end delay
- intermediate nodes
- topology control
- neighboring nodes
- residual energy
- wireless communication
- real time
- cluster head
- low cost