Formal verification of secure ad-hoc network routing protocols using deductive model-checking.
Vinh-Thong TaPublished in: IACR Cryptol. ePrint Arch. (2012)
Keyphrases
- formal verification
- model checking
- routing protocol
- ad hoc networks
- secure routing
- key management
- temporal logic
- model checker
- routing algorithm
- network topology
- automated verification
- symbolic model checking
- wireless sensor networks
- mobile ad hoc networks
- bounded model checking
- wireless ad hoc networks
- formal specification
- energy consumption
- data transmission
- sensor networks
- base station
- energy aware
- biological inspired
- packet delivery
- end to end delay
- end to end
- multi hop
- routing scheme
- formal methods
- linear temporal logic
- energy efficiency
- wireless mesh networks
- quality of service
- network infrastructure
- mobile networks
- ns simulator
- mobile nodes
- routing overhead
- aodv routing protocol
- real time
- packet delivery ratio
- distributed systems
- data delivery
- network nodes
- planning domains