Login / Signup

Truth in advertising: lightweight verification of route integrity.

Edmund L. WongPraveen BalasubramanianLorenzo AlvisiMohamed G. GoudaVitaly Shmatikov
Published in: PODC (2007)
Keyphrases
  • lightweight
  • integrity verification
  • model checking
  • wireless sensor networks
  • road network
  • route planning
  • shortest path
  • integrity constraints
  • travel time
  • online advertising
  • handheld devices
  • user interface
  • rfid tags