Formal verification of secure ad-hoc network routing protocols using deductive model-checking.
Levente ButtyánTa Vinh ThongPublished in: WMNC (2010)
Keyphrases
- formal verification
- model checking
- secure routing
- routing protocol
- ad hoc networks
- key management
- temporal logic
- model checker
- network topology
- bounded model checking
- routing algorithm
- automated verification
- symbolic model checking
- mobile ad hoc networks
- wireless ad hoc networks
- formal specification
- biological inspired
- wireless sensor networks
- energy aware
- energy consumption
- multi hop
- data transmission
- sensor networks
- mac protocol
- end to end
- formal methods
- end to end delay
- energy efficiency
- quality of service
- peer to peer
- residual energy
- wireless mesh networks
- routing scheme
- packet delivery
- multipath routing
- multipath
- average end to end delay
- packet delivery ratio
- base station
- mobile networks
- intermediate nodes
- network nodes