Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks.
Rémy ChrétienStéphanie DelaunePublished in: POST (2013)
Keyphrases
- formal analysis
- routing protocol
- mobile ad hoc networks
- mobile nodes
- packet delivery
- cross layer
- ad hoc networks
- end to end delay
- wireless sensor networks
- network topology
- routing algorithm
- node mobility
- energy consumption
- energy aware
- multi hop
- formal methods
- energy efficiency
- sensor networks
- routing scheme
- data transmission
- wireless networks
- security issues
- mobile networks
- agent model
- wireless communication
- data delivery
- vehicular ad hoc networks
- intermediate nodes
- wireless ad hoc networks
- wireless mesh networks
- sensor nodes
- secure routing
- video streaming
- network simulator
- multipath
- qos requirements
- node disjoint
- security mechanisms