激励相容的理性安全计算协议分析与设计

来源 :贵州大学 | 被引量 : 0次 | 上传用户:Liu234449171
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在理性计算协议如理性秘密共享、理性委托计算中,理性参与者往往陷入囚徒困境问题,而如何打破囚徒困境以及实现激励相容是挑战性问题,这也是本文拟研究的问题。具体地,本文结合博弈论,通过机制设计对理性秘密共享、理性委托计算进行研究,研究工作如下:(1)提出激励相容的理性秘密共享方案。首先,构造在自然状态下理性秘密共享的博弈,求解博弈的序贯均衡,证明没有理性参与者能够正确重构秘密。其次,结合密码学方法,重新设计理性秘密共享过程,构造新颖的理性秘密共享系统模型以及激励机制。再者,构造新系统模型下的博弈,求解博弈的序贯均衡,证明没有理性参与者会偏离诚实行为,从而解决囚徒困境问题。最后,对方案的隐私性、可验证性进行分析,并使用智能合约仿真激励机制,证明方案在实际应用的可行性。(2)提出激励相容的理性委托计算方案。首先,结合密码学方法,设计一种1对n理性委托计算系统模型以及制衡机制,构造该系统模型下的制衡博弈,求解制衡博弈的序贯均衡,证明没有理性服务端会偏离诚实行为。其次,设计共谋机制,构造共谋博弈,求解共谋博弈的序贯均衡,证明执行相同计算任务的理性服务端不会偏离共谋行为。然后,设计背叛机制,构造诬陷博弈以及背叛博弈,求解诬陷博弈以及背叛博弈的序贯均衡,证明没有理性服务端敢于诬陷以及偏离背叛行为。接着,对方案的隐私性、可验证性、正确性进行分析,并以智能合约仿真三个激励机制,给出执行合约的开销。最后,对方案的委托开销进行分析。
其他文献
随着国内奶牛养殖业朝着精细化、智能化方向快速发展,个体识别技术逐渐成为奶牛养殖的重要组成部分。传统的物理识别方法不仅会对奶牛造成物理损伤,且标签容易丢失。本文将深度学习技术应用于奶牛个体识别场景下,主要工作如下:为了实现对养殖场环境中奶牛个体无接触、高精度的有效识别,针对多尺度单发射击检测(Single Shot Multi Box Detector,SSD)算法自身存在的缺陷,以及在对奶牛进行识
硅在地球上是含储量较大的元素种类之一,且由于其具备光伏转换特性,用其制备的太阳能电池拥有光电转换效率高、性价比高等优点,因此多晶硅仍具有广阔的发展前景,是目前乃至未来光伏产业中相关研究的一个热门光伏材料。本文简要概述硅的性质及研究意义、硅晶体工业上的生长技术,详细介绍分子动力学方法及微观结构表征方法,重点模拟在不同条件下的硅诱导式结晶过程,以深入探究不同晶面和不同冷速下硅诱导式结晶过程和微观组织结
温度传感器芯片的应用已经渗透到电力、冶金、化工、建材、机械、食品、石油等各个行业,人们对温度测量精度的要求也越来越高,这就需要对研发出来的芯片进行精密测试和校准。本文首先分析了高精度互补金属氧化物半导体(Complementary Metal Oxide Semiconductor,CMOS)温度传感器的总体设计策略,并分析了基于CMOS工艺的双极型晶体管(Bipolar Junction Tra
配电房中的环境对配电设备的正常稳定运行至关重要,因此准确并及时掌握配电房中的环境和设备的运行状态信息,对配电网安全运行态势预测具有重要意义。现有配电房的监控的方式以传统方法居多,人工智能技术的应用较少,配电房的智能化较低。为了适应智能电网的发展,论文基于深度神经网络技术,开发了一套集采集、运算以及智能识别为一体的配电房监控系统,成功实现了模拟量、图像故障的智能识别。论文主要工作如下:文章首先设计了
近年来,随着大数据和人工智能技术以及司法领域智能化辅助快速的发展,国家持续推动司法的改革和研究,提出以智慧司法服务为核心的智慧法院建设,通过加速推动智慧法院的建设,提升案件的受理、审判等多个环节的信息化程度。目前,在司法领域,法律条文是规定公民权利和义务并规范司法审判结果的行为准则,是案件审判的重要依据。随着“同案不同判,法条适用不统一”的问题逐渐突显,研究一种智能辅助的法条推荐方法及集成系统应用
AuSi作为一种典型的金属半导体材料在理论和应用方面都得到广泛关注。本文结合分子动力学方法和最新的AuSi合金势函数重点模拟液态AuSi合金在不同条件下的快速凝固过程,并采用能量曲线、双体分布函数、键型指数法、团簇分析法及结构可视化等,深入探求合金凝固规律和微观演变机理。首先分子动力学模拟不同组分下液态AuSi合金的快速凝固过程,研究了在1×1011K/s冷却速度下快速凝固过程中AuxSi(100
随着中国老龄化社会的到来,独居老人逐渐增多。意外摔倒日渐成为独居老人伤亡的第一要素,因此,需要对独居老人的日常行为进行监护,当老人发生摔倒时,能快速准确地检测出摔倒行为,并及时报警,降低老人伤亡率。本文分析了国内外摔倒检测方法,基于计算机视觉和图像处理技术,在嵌入式平台上搭建了智能实时监控系统。本文主要研究工作如下:在运动人体目标提取阶段,采用基于背景减除法的混合高斯模型对运动人体目标进行前景提取
近年来全球光伏产业飞速发展,光伏电站建设数量持续增长,然而光伏电站通常搭建在交通不便、环境恶劣的地方,长期在无人值守状态下运行,运维人员对光伏数据进行监测、管理、分析较为困难,且许多光伏电站均存在系统操作繁琐、数据管理混乱、数据分析困难、数据库不统一、运维效率低下等问题,通常以传统方式提供监测数据,且数据间没有关联性,数据检索效率不高。本文将可视化技术与Web技术相结合,采用浏览器/服务器(bro
云计算提供了高效便捷的数据存储、共享和计算服务,企业将本地资源受限的业务储存到云端已成为一大趋势。然而系统数据上传到云端后,将导致数据的所有权和控制权分离,用户面临着数据泄露、被非法访问及泄露后如何认定责任等问题。因此针对企业使用云计算来部署业务这一场景,设计可追责的属性访问控制系统是非常有必要的。本文以属性加密算法为基础,结合属性访问控制技术和相关追责机制,设计一种通用的访问控制系统,旨在解决云
随着互联网、5G移动通信技术的发展以及各种移动终端设备的普遍应用,数字图像成为多媒体通信的重要载体。图像信息在公共网络中存储和传输,如何保护信息安全变得格外重要。由于图像数据具有冗余度高、相邻像素高度相关等特点,传统加密方案已不再适用于图像加密。混沌系统作为一种确定性非线性系统,具有许多优良特性,使得其非常适合于图像加密。本文将混沌系统与DNA编码和压缩感知相结合,提出两种图像加密算法,具体工作内