ROVER: Route Origin Verification Using DNS.

Joseph Gersch Daniel Massey

Published in: ICCCN (2013)

Keyphrases

model checking
load balancing
path planning
road network
verification method
stereo vision
face verification
vision system
databases
human robot interaction
route planning
signature verification
formal verification
travel time
concurrent systems
traffic conditions
formal methods
learning algorithm
data mining