How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET.
Panagiotis PapadimitratosZygmunt J. HaasJean-Pierre HubauxPublished in: BROADNETS (2006)
Keyphrases
- routing protocol
- secure routing
- ad hoc networks
- mobile ad hoc networks
- network topology
- key management
- wireless sensor networks
- routing algorithm
- energy consumption
- energy aware
- data transmission
- energy efficient
- sensor networks
- key management scheme
- cross layer
- multi hop
- energy efficiency
- wireless ad hoc networks
- mobile nodes
- data delivery
- sensor nodes
- node mobility
- intermediate nodes
- routing overhead
- aodv routing protocol
- wireless mesh networks
- security issues
- biological inspired
- wireless networks
- adhoc network