该文章重点提出了一个三方模型，如下图所示，其中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。
主要内容 该文章重点提出了一个三方模型，如下图所示，其中crawler被认为是可信任的，而server是不可信任的...
efficient If a product is efficient, it can work well wit...
1) Verification方法 Verification方法包括测试类和非测试类（比如：评审、分析(FMEA,...
1) Verification方法 Verification方法包括测试类和非测试类（比如：评审、分析(FMEA,...
Efficient. If a product is efficient, it can work well wi...
on the verification =================== DV(design verific...
《Antitrust and Costless Verification: An Optimistic and a...
server certificate verification failed 解决：
【effective vs. efficient】 efficient强调的是效率，而effective强调的是结...
HUAWEI DevEco Studio ( Beta ) for HarmonyOS Verification ...
本文标题：Efficient Verification of WebCon
本文链接：https://www.haomeiwen.com/subject/jyjsnttx.html
网友评论