基于SGX的密态数据库中密文查询优化的研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:bfxbfxabc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着大数据时代的快速发展,数据的规模、类型、复杂程度高速变化、高速增长使得云计算成为解决数据高效的计算与管理所必不可少的基础性设施。然而,数据在云端进行计算存储在给我们带来巨大便利的同时,也必然会伴随着不可忽视的隐私风险和安全隐患。当企事业单位将其数据外包到公有云上进行存储和计算时,其数据安全可能会受到云服务提供商侧的侵害,比如任何拥有服务器控制权的内部人员,或者在同一云上运行的恶意程序,给用户带来极大的数据安全风险。为了解决这一问题,许多学术研究都试图建立一种可以防止攻击者获取用户明文数据的密态数据库系统。采用同态加密或者混淆电路等纯密码学(软件)的解决方案虽然广泛的应用于现行的计算机系统,但是需要引入巨大的计算开销,并且仅能支持有限的运算操作;另一种研究思路采用可信计算环境,将敏感数据放到隔离的安全区域中进行查询与计算,但是可信执行环境一般会有一定的计算限制条件,例如SGX会对安全内存的大小有限制,超过其限制会导致高昂的计算开销。虽然这些研究都在一定程度上解决了部分云上数据的隐私安全问题,但距离满足实际应用需求还相去甚远。本文重点研究了基于可信执行环境的密态数据库中密文查询优化的相关问题。在已有的纯软件密态数据库系统的实现基础之上,引入SGX来加速密态数据库系统的整体效率。可信硬件背景下的密态数据库系统会面临许多挑战,例如密钥管理,查询执行效率和可信函数调用等问题,本文围绕SGX技术特性设计了一系列的解决方案来解决关键问题和优化系统性能。针对纯可信硬件或者纯软件实现的密态数据库版本中UDF计算性能不足的问题,本文提出了一种软硬结合协同自适应的UDF计算框架,该框架可以有效地将密态数据库系统的纯软件实现和纯硬件实现相结合,相互取长补短,最终实现一个高性能的密态数据库系统。在协同算法的设计中,实现了可以近似动态探测SGX安全内存空间余量的功能,以支持UDF计算时的动态调度决策,并且分析建立了软硬执行路径的代价估计模型,使决策效果更加精准,提高了密态数据库系统的整体计算查询效率。针对密态数据库中对密钥管理的需求,本文设计了基于SGX远程认证的密钥传输协议与管理工具,通过密钥传输协议,用户可以将自己的主密钥和其他用于密钥派生的其他信息安全的传输到SGX安全内存中。在安全内存中,采用HKDF依据主密钥和额外信息派生出各个加密列的加密密钥,用于后续的UDF计算。本文对密态数据库系统的实现做了进一步的研究和优化。比如在安全内存中部署缓存模块以加速UDF计算的执行效率。在高并发场景下,设计了ECALL任务池来针对性的加速密态数据库系统的性能表现,其性能优于原生的SGX Switchless Call技术,并且可以根据并发量来实时调节任务池大小与工作线程数。根据实验结果表明,软硬件结合的密态数据库系统,相比于纯软件的实现,在TPC-C的测试中,QPS提升了大约110%,与传统数据库相比,吞吐量下降控制在5倍以内。
其他文献
超过三个目标的多目标优化问题(MOPs)称为超多目标优化问题(Ma OPs)。基于分解的MOEA(MOEA/D)将多目标问题通过预设的一组权重向量分解成一系列单目标子问题并同时优化,在求解具有规则帕累托前沿(PF)的MOPs问题时具有明显的优势,成为了解决MOPs的一种主流方法。然而,MOEA/D对于复杂前沿的Ma OPs,得到的解集分布极不均匀且距离真实的PF较远,导致其收敛性和多样性都较差。为
学位
数学形态学作为一种高效的数字图像处理工具,在边缘检测、特征识别、分割、滤波等多个领域均有应用和发展。其核心思想是利用结构元素作为目标对象来提取和分析图像中的几何图形,以达到识别和简化图像数据的目的。然而,随着彩色图像处理需求的增加,传统彩色形态学忽略像素通道关联性和局部相关性,导致在形态运算中产生噪声、破坏图像拓补结构、处理效果受限于结构元素窗口尺寸等一系列问题逐渐显现。因此,本文利用矩阵关系和运
学位
数字图像处理技术是指在计算机软件或各种硬件处理器平台上进行图像处理的技术。伴随信息时代的跨越式发展,数字图像处理技术及其相关应用深刻影响与变革着人们的生产生活方式,与此同时人们对数字图像处理系统高效性、实时性和高清性的需求也随之水涨船高,仅通过软件平台来实现图像处理算法已经很难满足现实需求,因此在硬件加速平台上设计实现相关图像处理技术成为了目前的研究热点。相比于传统的CPU处理数字图像,FPGA具
学位
图像匹配目的在于处理不同视角或不同手段获取到的两幅甚至多幅图像,并从中识别出结构、纹理、特征等相似的部分,以便于后续对图像进一步处理。然而,受获取图像的设备、时间、角度等因素影响,获取到的图像的光照条件可能存在严重的不一致性,其中图像中欠曝或过曝区域会丢失大量的纹理、结构、和像素值变化信息,导致在这种情况下很难提取到三维空间中属于相同位置的大量特征以确保匹配精度。本文研究了复杂光照条件下如何提升基
学位
随着互联网技术的高速发展,图像数据在种类、数量等方面呈现爆炸性的增长趋势,大规模图像数据推动了深度学习技术在计算机视觉领域的发展。然而,在实际应用中由专家精确标注的数据成本高昂且难以获取,借助自动化工具标注以及“众包”标注的方式逐渐成为获取大规模图像标签的主流,这些低成本的标注方式会不可避免地产生错误标签即噪声标签。在图像分类领域,噪声标签会对分类器产生负面的影响,如降低分类器的预测性能,增加模型
学位
海洋是“资源宝库”,获取高质量的水下图像是开展海洋探索的重要一环。由于水下环境复杂恶劣,受水中悬浮颗粒对光线吸收和散射作用的影响,相机获取的图像质量会严重退化,不仅影响视觉观感,更为后续高级计算机视觉任务的开展带来挑战。因此,开展水下降质图像的复原算法研究很有必要。针对现有算法存在色偏严重、纹理细节丢失、图像模糊等问题,本文提出了端到端的水下图像复原算法。通过设计合适的网络结构和损失函数,制作高质
学位
由于科学技术进步和各国航天事业的蓬勃发展,更多的航天器被送到了太空,但随之产生的空间环境安全问题也不容忽视。更多的空间碎片开始占用有限的轨道资源,不但数量多,且拥有着强大的动力,如果和航天器产生撞击会造成航天器损毁甚至失灵,也会危及航天员的人身安全。空间目标监视对于维护有限的轨道资源,避免发生空间碰撞有着重要的意义。作为监视手段之一的天基光电探测,因其机动灵活的特性在空间目标监视领域有着广泛应用。
学位
大数据时代,在面对海量数据时,常用于传统单机计算模式的数据挖掘算法往往受到存储和计算能力的制约,并行化的计算模式是应对此问题时的有效手段。并行化的计算模式可以将海量数据集分布式存储到集群的各个节点,由各节点对各自存储的数据集进行计算得到局部的结果,再将局部结果整合为最终结果,从而提升运算效率。Spark是一种基于内存计算的分布式计算框架,可以为算法并行化实现提供良好的技术支持。Spark计算框架使
学位
遥感影像匹配就是检测遥感影像间对应的同名点的过程,是遥感影像能够成功应用于众多领域的重要前提。遥感影像中地貌特征众多,纹理信息复杂,不同地形区域具有不同的影像特性。如城市、农田等区域的遥感影像纹理具有重复性,山脉区域影像易产生非线性形变,湖泊区域影像纹理信息较弱等。因此,与其他自然场景的图像匹配相比,遥感影像匹配复杂度更高。目前遥感影像匹配常用的基于特征点的匹配方法并不完全适用于所有场景,匹配精度
学位
随着空间技术的发展,越来越多的航天器涌入太空,空间已经成为各国争夺的宝贵资源。我国的空间站已初具规模,繁重的空间在轨操作任务对空间目标三维重建技术提出了更高的要求。太空特殊的低照度环境为基于图像序列的被动式三维重建技术带来了难题。图像质量以及鲁棒的特征提取与精确匹配是保证后续位姿估计与三维重建质量的重要前提,然而面对暗环境以及复杂光照数据集,目前已有的地面算法仍然存在很多局限性。本文研究空间目标三
学位