基于同态加密的二值化卷积神经网络研究

来源 :武汉理工大学 | 被引量 : 0次 | 上传用户:lghlgh82
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机和信息技术的快速发展,越来越多的用户将海量数据存放到云平台,享受云计算与深度学习技术带来的便利。然而存放于云平台上的数据涉及用户隐私,一旦遭到非法窃取,会给用户带来极大的损失和风险。针对这一问题,学者和专家们提出了基于同态加密的神经网络模型来完成云上的推理任务。用户利用同态加密技术对隐私数据完成加密并上传到云平台。云平台在不解密的前提下,对密文进行处理然后将结果以密文的形式发送给用户。
  然而,由于同态加密技术本身的复杂性较高,密文在云平台上的计算效率较低。同时用户数据在密文状态下的尺寸较大,这增加了对网络传输和云平台存储空间的压力。除此之外,现有的同态加密技术支持的密文计算有限,这就导致神经网络模型的池化层和激活函数对密文的计算不够高效。为解决这些问题,本文展开了深入的研究,主要研究工作如下:
  1)针对神经网络在云平台对密文的计算效率较低的问题,本文使用环上的全同态加密(Fully Homomorphic Encryption over the Torus,TFHE)完成对隐私数据的加密并提出了基于TFHE的二值化卷积神经网络。在二值化卷积神经网络中,本文对模型输入和卷积层参数进行了二值化处理。当密文与明文进行卷积操作时,本文使用支持全同态的同或门运算实现二值化矩阵间的乘法计算,从而提升云平台对密文的计算效率。在池化层计算中,本文在逐位逻辑门计算的基础上使用明文-密文混合计算的方法来提高密文比较操作的效率。同时本文对密文最高位使用了同或门计算,进一步完善带符号位的密文比较计算。在激活函数中,本文通过使用与门和非门的逐位计算来实现ReLU操作,从而增加神经网络模型的非线性表达能力。相较于HybridConvolutionalNeuralNetwork(HCNN),该模型在MNIST和WisconsinBreastCancer数据集上的计算效率提升1.4倍和3.6倍,并保持识别率基本不变。
  2)针对全同态加密下密文尺寸较大且计算复杂度较高的问题,本文提出了基于密文转换的二值化卷积神经网络。在该模型中,本文设计TFHE半同态方案实现对用户数据的加密。较现有模型,该模型中的密文尺寸缩减到原先的1/6。同时在卷积层中,密文以半同态形式进行计算,以此来提高模型的计算效率。然后本文使用密文转换操作在加密前提下将半同态密文转化成支持逐位计算的全同态密文,以此保证使用逐位的逻辑门运算实现密文比较操作和ReLU激活函数。相较于HCNN,测试结果表明该模型在MNIST数据集上的计算速度得到显著提升,同时识别率提升到97.27%。
  本文针对同态加密复杂性较高,以及现有同态加密支持的密文计算无法高效实现神经网络的比较操作和非线性计算的问题,提出了改进的方案。实验结果表明,本文提出的基于TFHE同态加密的二值化卷积神经网络在保证数据安全的同时显著提升了神经网络对密文的计算速度。通过二值化操作后,密文的尺寸也被进一步降低。该方案在识别率和计算效率上都超越了当前一些基于同态加密的神经网络模型,具有一定的实用价值。
其他文献
合成孔径雷达(Synthetic Aperture Radar,SAR)能够对感兴趣的观测区域进行高分辨成像,其不受天时和天候的影响,广泛的在军事和民用领域中应用。随着SAR用户对运动目标信息获取需求的增长,地面运动目标指示已经成为SAR系统的一项重要功能,可以进一步提升SAR系统的运动目标信息感知能力。然而,由于探测环境的日益复杂,场景中必然将大量出现快速机动目标,如:道路上飞驰的车辆、战场上高
射频无线能量传输(Radio Frequency Wireless Energy Transfer,RF WET)技术为解决未来通信网络(如物联网)中能量短缺问题的核心技术之一,其核心思想是利用射频信号既可以传递信息又可以承载能量这一双重特性,通过从射频信号中获取能量,从而实现为能量受限节点无线供能。另外,为了满足通信网络的高频谱效率、高能量效率需求,各类高效的无线通信网络架构竞相涌现,如多天线通
有限势博弈作为一类特殊的博弈具有许多优良的性质,特别是纯纳什均衡的存在性和演化下纳什均衡的可达性这两个特性,使它备受青睐.势博弈在博弈理论中占据着非常重要的位置,尤其是在近几年发展的博弈控制论中,作为支付设计和学习规则设计这两个步骤的接口,在分布式系统的优化与控制问题中起着非常关键的作用.本文主要利用势博弈的静态和动态性质,借助矩阵的半张量积这一数学工具,一方面将设备系统等价转化为有限势博弈,从而
学位
浮游生物不仅为海洋哺乳动物和商业上重要的鱼类提供食物,而且通过提供一半的全球初级生产力和对生物地球化学循环做出重大贡献,在海洋生态系统的功能中发挥着根本作用。因此,海洋浮游生物群落结构的变化是一个值得关注的问题。生物上,通过观测海洋测量数据和实验现象发现浮游生物的群落结构受到多种因素的影响。数学建模是分析外在环境变化和内在生理变化对浮游生物生物量影响的一个重要理论方法。通过对浮游生物建立恰当的数学
离群点检测作为数据挖掘技术下的一个重要子项,被广泛应用于网络入侵检测、工业系统故障检测、智能家居系统及医疗诊断等领域。随着数据在规模和维度上的双重增长,如何在大规模多维数据集中准确高效地检测离群点成为一个非常关键且极具挑战性的课题。目前,常用的检测算法如孤立森林(Isolation Forest,iForest)、局部离群因子(Local Outlier Factor,LOF)等由于算法本身的局限
虚拟机迁移作为有效的管理手段被广泛应用于云数据中心,特别是动态迁移技术,其在硬件维护、负载均衡、服务器整合、能耗优化和跨站管理等方面发挥了极其重要的作用。而相关研究中大多都积极地致力于通过虚拟机整合来降低数据中心的能耗,忽略了保证用户服务质量的迁移因子,特别是用户访问虚拟机服务时的访问延迟。访问延迟是现代跨地理区域服务的云数据中心内衡量云服务质量的重要指标,会直接影响到云服务商的市场拓展。因此本文
差分隐私保护下的分类算法一直是信息安全领域中备受关注的研究方向,可以在保护数据隐私的情况下对数据进行分类预测,因此在推荐系统、运输信息保护等方面有着重要的应用。但是差分隐私带来隐私保护的同时会严重影响算法的分类预测效果。因此本文围绕差分隐私下的决策树算法和随机森林算法展开了研究,立足于保护数据隐私性的前提下,提高算法的分类准确率。首先,针对差分隐私决策树算法在低隐私预算下生成噪声量过大的问题,在决
学位
现代战术任务有着复杂的通信和计算需求,战术网络使用无线电台、便携式通信设备等,通过传输数据、控制命令,来完成数据收集、指挥控制等功能。随着战术网络复杂性的增加和联合作战的需求,传统的战术网络架构已难以满足需求,并饱受复杂的配置和过大的协议开销等问题。软件定义网络(SDN)作为一个新兴的,有广阔前景的思想,旨在对通信网络的架构和运行方式进行革命性的改变。但是针对资源及其管理都是分布式的战术网络,如何
随着互联网和多媒体技术的飞速发展,每天有海量的视频产生并上传到各大直播平台,如何让机器理解这类海量的多媒体内容,以此提升这些视频的智能分发效果及效率是各大直播平台面临的重要问题,视频分类是视觉理解技术中的重要组成部分,因此如何实现对视频进行精确且高效的分类是本文研究的主要内容。视频作为多媒体内容的重要组成部分,相比多媒体中的文本和音频等信息而言包含的内容更加丰富,因此本文主要以视频作为研究对象,使
学位
暴力场景检测对于网络信息净化、保护未成年人身心健康、自动视频监控等方向具有广阔的应用前景。视频和音频是媒体中主要信息,但除了视频中的暴力画面和音频中的暴力声音之外,类似愤怒或憎恨情绪的字幕出现往往伴随着暴力场景的发生。字幕文本中所包含的情绪也有很多值得参考的补充信息。尤其是在视频帧或音频帧缺失的情况下,字幕信息对于暴力场景检测有着十分重要的作用。本文对融合视听特征和字幕特征的暴力场景检测方法进行了