Due to their increasingly large volumes, outsourcing of trajectory storage and querying to third-party service providers has become attractive. However, in such outsourced environments, service providers may return incorrect, e.g., incomplete, tampered, or invalid query results, making verifiability of query results an...
Zhong-Ming Yao, Jun-Chang Xin, Yumeng Song et al.· 1 citation
Graph-Constrained Joint Replay (GCJR) is proposed, which slices failure-relevant events from an execution dependency graph, constructs graph-feasible singleton and pair candidates, and verifies them by replay with paired clean counterparts, and is exact within its declared graph domain.
Bingbing Li, Yumeng Song, Zhongming Yao et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.