搜索到2790篇“ 通用可组合安全“的相关文章
- 一种通用可组合安全的非交互式承诺方案
- 2024年
- 承诺方案是密码学中最基本的组件之一,是许多密码协议的基础,如零知识证明和安全多方计算协议。通用可组合安全在设计安全协议中具有重要意义,如果一种协议在通用可组合框架中可证明安全,那么即使该协议与任意(甚至不安全的)协议并发运行,它仍然保持安全性。现有的几种高效的通用可组合安全的承诺方案都是交互式协议,而非交互式的通用可组合承诺方案具有较高的协议计算量和通信复杂度。针对于此,本文在公共参考串模型下,提出一种高效的通用可组合安全的非交互式承诺方案。通用可组合承诺方案的关键设计思想在于同时实现可提取性和模棱两可性。在承诺阶段使用一种选择密文安全加密方案实现可提取性,在承诺打开阶段使用一种非交互式零知识证明,并利用一种双模式承诺方案保持协议的模棱两可性。该方案将承诺打开阶段的多轮通信改进为一轮,实现了非交互性。与现有的非交互式承诺方案相比,大大减少了计算量和通信量,提高了协议的效率。
- 蔡泗沐王立斌
- 关键词:通用可组合安全非交互式
- 云网端架构下通用可组合安全的可信网络连接方法
- 本发明公开了一种云网端架构下通用可组合安全的可信连接方法,主要解决现有可信网络连接中用户与平台无法绑定认证,且无法跨网提供可扩展及可持续性连接认证的问题。其实现方案为:两个终端分别在云端完成身份注册与平台注册;两个终端的...
- 张俊伟周立元马建峰卢笛马卓李兴华李腾马鑫迪
- 分布式众包的通用可组合安全模型与协议设计
- 众包指的是公开征集解决方案的分布式问题解决模型,即通过招募互联网上未知工作者去处理比较难以单独解决的问题,其应用领域十分广泛,但却存在很多问题。比如,现存在的众包方案大多都依赖第三方众包平台,这种管理模式会存在隐私泄露、...
- 杨彤
- 关键词:UC安全众包分布式区块链
- 通用可组合安全证明理论的演进
- 2015年
- 基于计算模型的密码学协议的安全证明是协议证明方法中最严谨、可靠的证明方法,同时,它的证明过程又是最复杂且易出错的.其中,通用可组合的安全证明模型研究的是复杂网络环境下一个挑战协议与其他协议的任意组合时的安全问题.研究了通用可组合理论的演进过程.
- 景建笃
- 关键词:可证明安全演进过程
- 通用可组合安全的RFID标签组所有权转移协议被引量:8
- 2015年
- 在某些应用中,往往需要在一次会话中同时完成一组RFID标签所有权的转移.然而,现有的标签组所有权转移方案大多需要可信第三方的支持且存在诸多安全和隐私保护问题.在分析安全需求的基础上,设计了一个安全高效的RFID标签组所有权转移协议.该协议在无可信第三方支持的情况下实现了一组标签所有权的同时转移.在通用可组合框架下,定义了RFID标签组所有权转移的理想函数,并证明新协议实现了所定义的理想函数.与已有同类协议相比,新协议不仅具备匿名性、不可追踪性、授权访问、抗异步攻击、前向隐私保护、后向隐私保护等安全和隐私属性,还具有通用可组合安全性.在性能方面,新方案的计算复杂度相对较低,且交互次数和标签端存储量也较少.
- 原变青刘吉强
- 关键词:无线射频识别通用可组合所有权转移物联网
- 量子保密通信协议通用可组合安全性研究
- 量子保密通信是基于香农信息论和量子物理学而发展起来的新型通信技术。量子保密通信与经典通信不同,主要是利用微观粒子的量子特性实现对信息的保护。量子保密通信的安全性由海森堡不确定性原理以及量子不可克隆原理保证,因此在理论上可...
- 陈夏阳
- 关键词:量子保密通信密钥分配
- 通用可组合安全的群组通信机制
- 本文在通用可组合框架下研究群组通信问题.首先,我们在UC框架下分别提出群组通信模型的理想函数FSAGCOM、基于身份的签密模型的理想函数FIDsC和群密钥分发模型的理想函数FGKD.其次,我们构造了UC安全的基于身份签密...
- 田有亮彭长根
- 关键词:通用可组合安全安全群组通信
- 一般化通用可组合安全框架研究
- 2012年
- 分析一般化通用可组合安全框架(GUC框架)解决的关键问题及其机理。在此基础上深入研究实现GUC承诺的一个协议示例,得出GUC框架虽然要求仿真器与现实敌手共用同一个全局可信建立,但是二者对于该全局可信建立的利用程度是不同的。将GUC框架与UC框架及其改进版本进行比较,发现能实现包括安全计算在内的所有良好形式的理想功能的现有框架拥有一个共性,即仿真器的能力比现实敌手的能力强。讨论了GUC框架仍然存在的不足。
- 张妤彭亮
- 关键词:密码协议通用可组合信任模型
- 环签名的通用可组合安全模型及其应用研究被引量:2
- 2012年
- 环签名是一种匿名签名技术,能保证签名用户的无条件匿名性.针对目前环签名协议只考虑单一协议执行时的安全性这一问题,定义了环签名在通用可组合框架下的安全模型,证明其等价于基于游戏的安全模型,并以前向安全环签名协议为例描述了如何应用环签名的通用可组合安全模型来设计复杂协议,为签名协议的模块化设计提供了理论依据.
- 隗云熊国华张兴凯鲍皖苏
- 关键词:通用可组合环签名
- 通用可组合安全计算的信任模型研究
- 2012年
- 通用可组合(UC)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对国内对于UC安全计算的信任模型研究甚少的现状,研究了UC安全性的本质要求及其对UC安全计算的限制,得出了使用这些信任模型的根本原因,进而分析了国外用来刻画这些基础假定的信任模型的设计原理,比较了它们的异同和优缺点,并展望了未来的研究方向。
- 张妤阴建强胡杰
- 关键词:密码协议通用可组合信任模型
相关作者
- 马建峰

- 作品数:1,213被引量:3,309H指数:24
- 供职机构:西安电子科技大学
- 研究主题:网络安全 加密 隐私保护 用户 密文
- 彭长根

- 作品数:268被引量:564H指数:11
- 供职机构:贵州大学
- 研究主题:隐私 公平 双线性对 加密 隐私保护
- 朱建明

- 作品数:191被引量:1,426H指数:23
- 供职机构:中央财经大学
- 研究主题:区块链 信息安全 博弈论 隐私保护 入侵检测
- 田有亮

- 作品数:186被引量:493H指数:11
- 供职机构:贵州大学
- 研究主题:隐私保护 博弈论 秘密共享 加密 区块链
- 吴振强

- 作品数:166被引量:623H指数:13
- 供职机构:陕西师范大学
- 研究主题:可信计算 匿名 匿名通信 隐私 网络安全