Efficient Verification of WebCon

主要内容

该文章重点提出了一个三方模型，如下图所示，其中crawler被认为是可信任的，而server是不可信任的。该方案中，crawler利用Merkle hash tree对web pages 构造了一个authenticated data structure，利用bilinear pairing方法为web pages生成一个signed digest。其中（1）authenticated data structure发送给server供其查询；（2）signed digest为公开信息，供server为查询结果计算proof信息，以及供client对server的搜索结果进行验证。

结果验证

该方法可以完成多关键字检测，并且可确保结果的正确性（correctness）、完整性（completeness）以及freshness。