通用可复合论文-李建民,俞惠芳,谢永

通用可复合论文-李建民,俞惠芳,谢永

导读:本文包含了通用可复合论文开题报告文献综述及选题提纲参考文献,主要关键词:ElGamal多重签名,ElGamal型广播多重签密,语义安全,随机预言模型

通用可复合论文文献综述

李建民,俞惠芳,谢永[1](2019)在《通用可复合的ElGamal型广播多重签密协议》一文中研究指出多重签密是指2个以上参与方对同一则消息进行签密,并且要求签密结果不能因为签密者数目增多而呈线性增长.普通的ElGamal型多重签名虽然具有不可伪造性,但不能抵制多个签名者的联合攻击.为了克服现有ElGamal型多重签名的缺点,将ElGamal型多重签名和公钥签密组合在一起研究.提出了一种新的ElGamal型广播多重签密(ElGamal broadcasting multi-signcryption, EBMSC)协议,并给出了该协议的算法定义和安全模型,也在随机预言模型中证明了该协议在离散对数和计算性Diffie-Hellman假设下是语义安全的;然后在通用可复合框架下定义了ElGamal型广播多重签密协议的理想函数和现实协议,进而证明了现实协议能够实现广播多重签密协议的理想功能,同时还证明了现实协议是满足选择消息攻击下的不可伪造性;最后给出了ElGamal型广播多重签密协议与其他协议的效率比较.结果表明:该协议不仅在效率上要优于现有方案,而且在通用可复合框架下实现了多重签密功能.该协议适合应用在电子商务、合同签署、网上交易和财务出账等方面.(本文来源于《计算机研究与发展》期刊2019年05期)

冯涛[2](2008)在《通用可复合密码协议理论及其应用研究》一文中研究指出密码协议是为了获得某种特定的安全目标而执行的一个两方或者多方分布算法,这个算法是一个确定的动作序列,动作序列发送和接收的关键消息是基于某些密码学操作而构造的,例如加密、签名、散列函数等。一直以来,研究者更多地专注于使用形式化方法对现有的密码协议进行分析与验证,更为审慎和成熟的研究思路是设计和建立专用的方法和执行工具,用以指导安全协议的初始设计。在协议设计的过程中,密码协议的可复合性是一个重要属性。当对某个密码学任务进行协议化设计时,我们希望能够将一个任务分解成几个子任务,子任务通常相对简单,最后使用复合技术将已经设计的子任务作为安全子程序复合为给定的密码学任务。在任意协议并行的情况下,通用可复合(Universally Composable,UC)安全模型实现了密码协议的可复合安全性,本文基于UC安全模型主要研究了以下叁个内容:第一,基于UC安全模型的身份相交复合操作理论的研究。UC安全模型主要包括密码协议的UC安全定义和相关的复合操作理论。在参与方唯一身份的假设下,现有的复合操作方法和理论包括子程序替换通用复合操作和多实例相交状态通用复合操作两类。基于协议仿真安全定义,首次提出了协议参与方实体多身份相交情况的复合操作方法和理论。针对参与方实体新身份与旧身份同时出现在单一的协议实例中,身份相交复合操作理论试图说明在一个协议实例中参与方实体安全的实现多身份鉴别自证明问题,身份相交复合操作理论解决了某些实际应用需求的可证明安全问题,例如组播密钥管理GDOI协议。第二路由协议UC安全模型的研究。路由协议是一类特殊的密码协议,可证明安全的路由协议设计和分析一直是网络安全领域的开放问题。本文将UC安全模型引入路由协议可证明安全的研究,对该领域新的概念、技术和方法进行了有益的探索,首次提出了路由协议的UC安全模型。提出了节点不相交多路径源路由协议的形式化安全定义,设计和实现了可证明安全的多路径路由协议。第叁,基于UC安全模型的应用研究。根据UC安全模型对密码协议设计和分析的叁步方法论,即密码协议的UC安全定义、基于计算复杂性的困难问题假设、基于“理想函数”的协议实现和“协议仿真”的可证明安全分析,本文应用研究的内容除了组播密钥管理协议和多路径路由协议,主要包括两类情况,一方面针对构造安全多方计算协议的两个基础工具(不经意传输,可否认认证),基于新的复杂性理论安全原语,设计和实现了高效可证明安全的不经意传输协议和可否认认证协议,另一方面针对特殊的无线网络(例如,无线传感器网络,移动卫星通信网络)安全需求,设计和实现了可证明安全的密钥分配和建立协议。(本文来源于《西安电子科技大学》期刊2008-04-01)

冯涛,马建峰[3](2007)在《基于证人不可区分的通用可复合安全并行可否认认证》一文中研究指出针对并行可否认认证问题,在UC(universally composable)安全框架中,基于WI(witnessindistinguishable)提出了一种新的研究思路和解决方法.根据可否认认证的安全目标,形式化地建立了UC安全的并行可否认认证模型.利用可验证平滑投影哈希函数和非承诺加密体制,构造了一类新的并行可否认认证协议结构,基于确定性复合剩余假设和确定性Diffie-Hellman假设,实现了一个具体的协议方案.在公共参考串模型中,利用UC框架解决并行协议仿真问题与定时假设和公共目录方案相比,不需要限定攻击者能力.新方案具备前向可否认性,是自适应攻击者UC安全的.不同于CCA2加密体制结构或多陷门承诺结构的并行可否认认证,协议效率得到了改善.(本文来源于《软件学报》期刊2007年11期)

通用可复合论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

密码协议是为了获得某种特定的安全目标而执行的一个两方或者多方分布算法,这个算法是一个确定的动作序列,动作序列发送和接收的关键消息是基于某些密码学操作而构造的,例如加密、签名、散列函数等。一直以来,研究者更多地专注于使用形式化方法对现有的密码协议进行分析与验证,更为审慎和成熟的研究思路是设计和建立专用的方法和执行工具,用以指导安全协议的初始设计。在协议设计的过程中,密码协议的可复合性是一个重要属性。当对某个密码学任务进行协议化设计时,我们希望能够将一个任务分解成几个子任务,子任务通常相对简单,最后使用复合技术将已经设计的子任务作为安全子程序复合为给定的密码学任务。在任意协议并行的情况下,通用可复合(Universally Composable,UC)安全模型实现了密码协议的可复合安全性,本文基于UC安全模型主要研究了以下叁个内容:第一,基于UC安全模型的身份相交复合操作理论的研究。UC安全模型主要包括密码协议的UC安全定义和相关的复合操作理论。在参与方唯一身份的假设下,现有的复合操作方法和理论包括子程序替换通用复合操作和多实例相交状态通用复合操作两类。基于协议仿真安全定义,首次提出了协议参与方实体多身份相交情况的复合操作方法和理论。针对参与方实体新身份与旧身份同时出现在单一的协议实例中,身份相交复合操作理论试图说明在一个协议实例中参与方实体安全的实现多身份鉴别自证明问题,身份相交复合操作理论解决了某些实际应用需求的可证明安全问题,例如组播密钥管理GDOI协议。第二路由协议UC安全模型的研究。路由协议是一类特殊的密码协议,可证明安全的路由协议设计和分析一直是网络安全领域的开放问题。本文将UC安全模型引入路由协议可证明安全的研究,对该领域新的概念、技术和方法进行了有益的探索,首次提出了路由协议的UC安全模型。提出了节点不相交多路径源路由协议的形式化安全定义,设计和实现了可证明安全的多路径路由协议。第叁,基于UC安全模型的应用研究。根据UC安全模型对密码协议设计和分析的叁步方法论,即密码协议的UC安全定义、基于计算复杂性的困难问题假设、基于“理想函数”的协议实现和“协议仿真”的可证明安全分析,本文应用研究的内容除了组播密钥管理协议和多路径路由协议,主要包括两类情况,一方面针对构造安全多方计算协议的两个基础工具(不经意传输,可否认认证),基于新的复杂性理论安全原语,设计和实现了高效可证明安全的不经意传输协议和可否认认证协议,另一方面针对特殊的无线网络(例如,无线传感器网络,移动卫星通信网络)安全需求,设计和实现了可证明安全的密钥分配和建立协议。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

通用可复合论文参考文献

[1].李建民,俞惠芳,谢永.通用可复合的ElGamal型广播多重签密协议[J].计算机研究与发展.2019

[2].冯涛.通用可复合密码协议理论及其应用研究[D].西安电子科技大学.2008

[3].冯涛,马建峰.基于证人不可区分的通用可复合安全并行可否认认证[J].软件学报.2007

标签:;  ;  ;  ;  

通用可复合论文-李建民,俞惠芳,谢永
下载Doc文档

猜你喜欢