How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET
Panagiotis PapadimitratosZygmunt J. HaasJean-Pierre HubauxPublished in: CoRR (2009)
Keyphrases
- routing protocol
- secure routing
- mobile ad hoc networks
- ad hoc networks
- network topology
- wireless sensor networks
- routing algorithm
- key management
- energy consumption
- multi hop
- energy aware
- data transmission
- energy efficiency
- cross layer
- key management scheme
- sensor networks
- aodv routing protocol
- end to end delay
- wireless ad hoc networks
- mobile nodes
- energy efficient
- routing scheme
- packet delivery ratio
- neighboring nodes
- mobile networks
- base station
- packet delivery
- routing overhead
- biological inspired
- mobile devices