基于云端的可验证模式串匹配研究

发布时间：2020-12-25 18:29

　　可验证模式串匹配,即用户能通过不可信云服务器上的外包文本数据获得可验证的模式串匹配结果。对应的验证问题是很多以安全性为主的大数据应用的基本问题,特别是外包到云服务器的以模式串匹配为基础服务的应用,如大数据库查询,人类基因数据搜索和文本检索等,验证问题尤为重要。但是,当前已有的可验证方案在性能方面仍有优化空间,同时也不支持高效的数据更新。为此,我们展开研究,设计方案以优化性能并解决数据更新的效率问题。以下两点是我们研究工作的主要贡献。首先,我们提出了一种基于哈希函数的可验证模式串匹配方案,相比当前最优方案,该方案的性能提高显著。我们基于有序集合累加器和后缀数组为模式串匹配设计了一种新的可验证数据结构,只涉及简单高效的哈希计算,使得性能提高显著。另外,该方案支持模式串多匹配验证,更加适应实际应用需求。同时该方案也支持公开验证,无须用户存储密钥数据。最后,仿真实验结果证实了该方案的实际性能优于当前最优方案。其次,我们提出了一种动态可验证模式串匹配方案,以支持高效的数据更新。我们通过随机数绑定字符机制切断文本字符间的位置联系,将连续型文本数据转换为离散型集合数据,以实现高效的数据更新,并将验证... 

【文章来源】：深圳大学广东省

【文章页数】：76 页

【学位级别】：硕士

【部分图文】：

数据块集合={,,,}构建Merkle哈希树

= ∏∈批量更新操作：同时插入多个元素 和删除多个元素 。定义 为插入积， 为删除元素的乘积，集合更新为 = ∪ ，更新对应累= ( ( ))，并计算辅助累加值 =( 对于每个元素 ∈ ，计算新见证值：= ( )∏∈=∏∈ ∪而对于未删除的成员元素 ∪ ，先求解 , 使得 + = 其见证值：= ( ) ( ) = ( ) ( )= ( )= , = ∏∈ ∪ 模式串匹配外包模型


本文编号：2938172