Efficient verification of shortest path search via authenticated hints

Man Lung Yiu, Yimin Lin, Kyriakos Mouratidis

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

51 Citations (Scopus)


Shortest path search in transportation networks is unarguably one of the most important online search services nowadays (e.g., Google Maps, MapQuest, etc), with applications spanning logistics, spatial optimization, or everyday driving decisions. Often times, the owner of the road network data (e.g., a transport authority) provides its database to third-party query services, which are responsible for answering shortest path queries posed by their clients. The issue arising here is that a query service might be returning sub-optimal paths either purposely (in order to serve its own purposes like computational savings or commercial reasons) or because it has been compromised by Internet attackers who falsify the results. Therefore, for the above applications to succeed, it is essential that each reported path is accompanied by a proof, which allows clients to verify the path's correctness. This is the first study on shortest path verification in outsourced network databases. We propose the concept of authenticated hints, which is used to reduce the size of the proofs. We develop several authentication techniques and quantify their tradeoffs with respect to offline construction cost and proof size. Experiments on real road networks demonstrate that our solutions are indeed efficient and lead to compact query proofs.
Original languageEnglish
Title of host publication26th IEEE International Conference on Data Engineering, ICDE 2010 - Conference Proceedings
Number of pages12
Publication statusPublished - 1 Jun 2010
Event26th IEEE International Conference on Data Engineering, ICDE 2010 - Long Beach, CA, United States
Duration: 1 Mar 20106 Mar 2010


Conference26th IEEE International Conference on Data Engineering, ICDE 2010
Country/TerritoryUnited States
CityLong Beach, CA

ASJC Scopus subject areas

  • Software
  • Signal Processing
  • Information Systems


Dive into the research topics of 'Efficient verification of shortest path search via authenticated hints'. Together they form a unique fingerprint.

Cite this