A Calculus of Trustworthy Ad Hoc Networks.
Massimo MerroEleonora SibilioPublished in: Formal Aspects in Security and Trust (2009)
Keyphrases
- ad hoc networks
- network topology
- routing protocol
- wireless networks
- end to end
- wireless ad hoc networks
- quality of service
- routing algorithm
- key management
- multi hop
- mobile wireless
- mobile ad hoc networks
- limited bandwidth
- peer to peer
- mac protocol
- end to end delay
- mobile networks
- real time
- base station
- multipath routing
- wired networks
- aodv routing protocol
- propagation model
- network nodes
- mobile nodes
- multiple paths
- topology control
- network infrastructure
- qos routing
- data sets