论文摘要
密码协议是为了获得某种特定的安全目标而执行的一个两方或者多方分布算法,这个算法是一个确定的动作序列,动作序列发送和接收的关键消息是基于某些密码学操作而构造的,例如加密、签名、散列函数等。一直以来,研究者更多地专注于使用形式化方法对现有的密码协议进行分析与验证,更为审慎和成熟的研究思路是设计和建立专用的方法和执行工具,用以指导安全协议的初始设计。在协议设计的过程中,密码协议的可复合性是一个重要属性。当对某个密码学任务进行协议化设计时,我们希望能够将一个任务分解成几个子任务,子任务通常相对简单,最后使用复合技术将已经设计的子任务作为安全子程序复合为给定的密码学任务。在任意协议并行的情况下,通用可复合(Universally Composable,UC)安全模型实现了密码协议的可复合安全性,本文基于UC安全模型主要研究了以下三个内容:第一,基于UC安全模型的身份相交复合操作理论的研究。UC安全模型主要包括密码协议的UC安全定义和相关的复合操作理论。在参与方唯一身份的假设下,现有的复合操作方法和理论包括子程序替换通用复合操作和多实例相交状态通用复合操作两类。基于协议仿真安全定义,首次提出了协议参与方实体多身份相交情况的复合操作方法和理论。针对参与方实体新身份与旧身份同时出现在单一的协议实例中,身份相交复合操作理论试图说明在一个协议实例中参与方实体安全的实现多身份鉴别自证明问题,身份相交复合操作理论解决了某些实际应用需求的可证明安全问题,例如组播密钥管理GDOI协议。第二路由协议UC安全模型的研究。路由协议是一类特殊的密码协议,可证明安全的路由协议设计和分析一直是网络安全领域的开放问题。本文将UC安全模型引入路由协议可证明安全的研究,对该领域新的概念、技术和方法进行了有益的探索,首次提出了路由协议的UC安全模型。提出了节点不相交多路径源路由协议的形式化安全定义,设计和实现了可证明安全的多路径路由协议。第三,基于UC安全模型的应用研究。根据UC安全模型对密码协议设计和分析的三步方法论,即密码协议的UC安全定义、基于计算复杂性的困难问题假设、基于“理想函数”的协议实现和“协议仿真”的可证明安全分析,本文应用研究的内容除了组播密钥管理协议和多路径路由协议,主要包括两类情况,一方面针对构造安全多方计算协议的两个基础工具(不经意传输,可否认认证),基于新的复杂性理论安全原语,设计和实现了高效可证明安全的不经意传输协议和可否认认证协议,另一方面针对特殊的无线网络(例如,无线传感器网络,移动卫星通信网络)安全需求,设计和实现了可证明安全的密钥分配和建立协议。
论文目录
相关论文文献
- [1].通用盲文规则教学与推广研究[J]. 长春大学学报 2019(11)
- [2].通用灯饰全自动组装设备的设计与实现[J]. 机电信息 2020(26)
- [3].关于通用机场规划建设的思考[J]. 中国工程咨询 2019(05)
- [4].通用的死局 83年4次大罢工[J]. 汽车观察 2019(10)
- [5].2018年上半年内地取证通用机场统计(A类)[J]. 空运商务 2018(08)
- [6].电子元器件标准的军民通用研究[J]. 标准科学 2017(09)
- [7].河北省:到2020年将新建20个通用机场[J]. 工程机械 2017(11)
- [8].通用:深耕与转型[J]. 汽车纵横 2016(09)
- [9].通用结束四十天罢工[J]. 经营者(汽车商业评论) 2019(12)
- [10].全国省市自治区通用机场大盘点[J]. 今日民航 2018(06)
- [11].通用单列中国业务 借印度召回整饬作风[J]. 经营者(汽车商业评论) 2013(08)
- [12].通用 一个“王朝”的背影[J]. 现代企业教育 2009(11)
- [13].新通用变成瘦肉精[J]. 竞争力 2009(08)
- [14].一汽通用试水[J]. 汽车商业评论 2010(02)
- [15].鲍勃·鲁兹或再续“通用情”[J]. 中国汽车市场 2011(07)
- [16].向通用汽车学习战略[J]. 家用汽车 2011(03)
- [17].通用福特的股票怎么了?[J]. 中国汽车市场 2011(18)
- [18].江苏加快实施老年人优待证全省通用[J]. 老同志之友 2008(03)
- [19].Cruise年烧10亿美元[J]. 汽车观察 2020(02)
- [20].地方高校大学生通用就业能力结构及水平研究——基于山东省四所高校的调查分析[J]. 当代教育科学 2018(12)
- [21].上汽通用五菱:品质驱动生活[J]. 中国品牌 2018(S2)
- [22].通用汽车全球沦陷[J]. 英才 2018(05)
- [23].关于通用机场导航设施建设的思考[J]. 中国工程咨询 2018(06)
- [24].关于通用机场项目选址对核准立项的主要影响分析——基于广东某通用机场建设实践的总结[J]. 民航管理 2016(06)
- [25].通用召回后遗症[J]. 汽车观察 2015(03)
- [26].通用职业素质课程之我见[J]. 现代企业教育 2014(14)
- [27].通用:以引领者的姿态[J]. 汽车纵横 2013(11)
- [28].通用还有什么可卖?[J]. 新商务周刊 2012(02)
- [29].通用告别超级碗[J]. 新晋商 2012(09)
- [30].高职学生通用技能培养途径探析[J]. 广西教育 2013(15)