安全多方计算编程框架研究

来源 :武汉大学 | 被引量 : 0次 | 上传用户:qqifha
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全多方计算允许一组互不信任的参与方在其各自输入上联合运行某个计算功能得到计算结果,而不会透露任何超出计算结果的信息,是现代密码学领域的一个重要研究方向。而随着人们对隐私的逐渐重视,安全多方计算在学术界、工业界和政府中有着越来越广泛的应用。从姚期智的“百万富翁问题”开始,用于安全多方计算的协议被研究和发展了数十年,已经诞生了非常多的优秀协议,并且基于这些协议构建出了可以执行任意图灵完备程序的通用安全多方计算编程框架。虽然在这些安全多方计算协议上构建的框架、领域特定语言层出不穷,但经过我们的评估发现其都有着易用性较差、和现有编程语言难以交互、不适合大数据计算等问题。为了解决这些问题,本文设计了一种基于ORAM(Oblivious RAM)的混合协议安全多方计算框架,并基于JSR 269规范和LLVM编译器框架将Java和C/C++程序编译为该计算框架上的安全多方计算应用。具体来说,本文的主要贡献有如下三点:1.通过易用性、功能性、交互性等多个评估指标,对现有的较为常用的若干通用安全多方计算框架进行了评估,总结了现有框架存在的易用性较差等问题及其原因,并对这些不足进行了讨论和分析;2.设计了一种基于ORAM的混合协议安全多方计算框架,具有ORAM为大数据计算提供的亚线性电路复杂度、低通信复杂度的优势,同时基于姚氏混淆电路、布尔电路、算术电路的混合协议为前端语言的表达能力、功能性提供了更多的灵活性;3.提出并实现了基于JSR 269和LLVM编译器框架的安全多方计算编译器构建方案,将Java和C/C++程序编译为本文提出的计算框架上的安全多方计算应用。通过若干典型安全多方计算应用场景对本文方案进行了测试,实验结果表明,本文提出的计算框架和编译器构建方案,在易用性、功能性、交互性上比现有框架都更具优势。
其他文献
利用大肠杆菌启动子探针载体pKK232-8,从极端嗜盐古生菌的基因组DNA中分离得到一个在大肠杆菌中具有启动子活性的RM07 DNA片段,DNA序列分析表明它既含有典型的真细菌启动子-35区和-10区保守序列,又具有嗜盐古生菌启动子特征序列DPE(distal promoter element)。 在嗜盐古生菌、大肠杆菌和酿酒酵母中分别以β-半乳糖苷酶基因(bgaH)、二氢叶酸还原酶基因(d
全世界现存鱼类约有24000余种,是脊椎动物之中分布最广,种类最多的类群,具有多种多样的生物学特性和重大的经济价值。在脊椎动物的系统进化阶元中,有着长久的进化历史和众多的演化分支,居承前启后的特殊进化地位,因而成为研究脊椎动物的性别决定和性染色体分化的重要研究对象。 在进行过细胞遗传学研究的鱼类中,绝大部分没有发现异形性染色体,然而通过核型分析、染色体显带、联会复合体观察和比较基因组杂交等方
本文包括两个部分的内容:一是传输不等式;二是扩散过程生成半群的唯一性。其中传输不等式又包含两个方面,其一是关于一致度量的Talagrand’s传输不等式;其二是研究取值于无限维空间的随机微分方程的解所对应的概率分布的传输不等式。 首先,我们来介绍一下何谓传输不等式,它与测度的凝聚现象有很大的联系。设(E,d)是一个度量空间,B是其上的σ-域,且d(·,·)是B×B-可测的。我们说概率测度μ在
1953年,L.M.Gelfand和B.M.Levitan研究了如下的Sturm—Liouville问题: 其中q(x)是[O,π]上的有界可微函数。并证明了上述问题的特征值满足迹恒等式: sum from k=1 to ∞[λk-k2-1/π integral from n=0 to xq(x)dx]=-(q(O)+q(π))/4+1/2π integral from n=0 to
作为目前强关联电子系统的一个重要研究对象,Sr14-xCaxCu24O41具有奇异的结构形式和丰富的电荷与自旋有序的物理现象,对其深入研究,不仅有助于对其本身,而且将加深对包括高温超导在内的其他强关联电子系统的认识。本论文首先慨述了关于梯状化合物主要是Sr14-xCaxCu24O41的研究情况,然后从材料学和物理学两方面开展了下述研究工作: 1.借助于XRD和DTA技术研究了(14-x)Sr
在这个物质生活水平全面提高的时代,人们的压力也与日俱增,我们的生活环境很大程度上会影响我们的情感和心态,"治愈系"插画改善我们的焦虑、安抚我们的精神,在生活中通过其特有的方式抚慰人心。在"治愈系"插画中,"治愈"不是简单的中文释义,而是倾向于心理和精神上的释放和缓解,甚至被应用于艺术疗愈理论中。文章从接受美学出发,讨论"治愈系"插画的心理治愈机制,探析"治愈系"插画的风格特点。
随着时代的发展,移动互联网已经深度渗透到社会的各个领域。在大学校园里,大学生在空余时间利用各种英语学习APP提升英语能力已相当普遍,传统的英语学习模式正逐渐向"碎片化学习"转变。本文研究"碎片化学习"模式及其特点,基于大学生英语阅读现状,分析该模式对大学生英语阅读能力提升的正面及负面效应并提出相应策略。该研究有助于指导学生充分利用碎片时间,培养其自主学习能力和习惯,切实提高学生英语阅读能力。
C2H2型锌指蛋白家族是最大的转录因子家族之一,有文献报道人的基因组中C2H2型锌指蛋白基因的数量多达706个。锌指基序一般山21-23个氨基酸构成,其基本序列为:CX2-4CX3FX5LX2HX3-5H(X代表任意氨基酸),相邻的锌指基序间的序列往往都是高度保守的H/C连接肽(H/C linker):TGEKPYK。而在非锌指区域,C2H2型锌指蛋白中往往还有其他一些保守的效应功能域。根据所含效
DNA和RNA可以通过分子内的相互作用而自身折叠起来形成二级结构,这些二级结构的形成和稳定对于参与和行使一定的生物学功能具有非常重要的意义。由于在体内所具有的潜在功能,它们被认为是治疗癌症及其它疾病的药物治疗靶点。人的端粒DNA包含重复序列(TAAGGG)4组成的G链和(CCCTAA)4组成的C链。G链可以通过碱基G之间的氢键相互作用形成四重折叠结构,C链也可以通过质子化的C+和C相互作用形成四重
学位