A Program Logic for Verifying Secure Routing Protocols.

Chen Chen Limin Jia Hao Xu Cheng Luo Wenchao Zhou Boon Thau Loo

Published in: FORTE (2014)

Keyphrases

routing protocol
secure routing
ad hoc networks
routing algorithm
wireless sensor networks
energy aware
mobile ad hoc networks
energy consumption
key management

network topology
multi hop
sensor networks
wireless ad hoc networks
data delivery
data transmission
energy efficiency
biological inspired
cross layer

mobile nodes
routing scheme
end to end delay
energy efficient
model checking
end to end
intermediate nodes
neighboring nodes
wireless networks

communication links
multi path routing
cooperative
base station
sensor nodes
routing overhead
low cost
response time