公共文化服务平台

搜索到44篇“ UC安全“的相关文章

基于平滑投影哈希函数UC安全的DSA证书机制: 2020年; 数字证书颁发机制是认证中心给合法用户颁发证书的过程.基于计算模型的通用可组合的安全证明框架研究的是复杂网络环境下一个挑战协议与其他协议的任意组合时的安全问题.平滑投影哈希函数是可证明安全协议构造中一个常用的密码学原语.基于这种原语,给出了一个通用可组合安全的DSA数字证书颁发机制.; 景建笃; 关键词：通用可组合安全

物联网环境下UC安全的组证明RFID协议研究: 2018年; 一直以来物联网的安全性与隐私保护都是促进物联网进一步发展的关键问题,尤其是在现阶段更加开放的网络环境当中,物联网只有具备更高的安全性才能满足发展的实际要求.基于此种情况,在本文当中利用传统UC模型构建了一种新的组证明RDIF协议,该协议的不仅能提升物联网的整体安全性与稳定性,还能提升物联网抵御网络攻击的能力.通过对该协议的安全性分析可以发现该协议具有较好的效果.; 吴燕; 关键词：物联网 UC安全

UC安全的几种密码协议研究: 在复杂的网络坏境中，单个协议已经不能满足人们的需求，需要多个协议组合在一起使用。为了满足人们这种需求，Canetti 给出了通用可复合（UC）安全框架，该框架使得多个协议的组合使用问题得到解决。在UC框架中可以将协议的各...; 李建民

UC安全的自认证盲签密协议被引量：5: 2017年; 自认证盲签密(self-certified blind signcryption,SCBSC)协议能够同时实现公钥加密和盲签名,并且当发送方与接收方对签名存在争议时,任何第三方都能验证签名的有效性。然而,现有的自认证盲签密协议还不具有UC(universally composable)安全性,针对这个问题,引入UC安全框架,利用该框架可以模块化分析与设计自认证盲签密协议。定义了自认证盲签密协议在UC安全框架下对应的理想函数;证明了在适应性敌手模型下,自认证盲签密协议实现该理想函数,当且仅当签密协议满足不可区分适应性选择密文攻击(indistinguishability against adaptive chosen-ciphertext attacks,IND-CCA2)。; 李建民俞惠芳赵晨

基于UC安全框架的M2M可信直接匿名认证技术研究: M2M(Machine to Machine)是物联网系统的一种主要应用模式，也是现阶段物联网普遍实现的应用形式。目前，中国正全力扩大具有国际竞争力的物联网产业体系总体产业规模，全面、广泛布置公众M2M网络连接。万物互联...; 朱政; 关键词：物联网直接匿名认证

供应链环境下UC安全的RFID所有权转移协议被引量：5: 2016年; 针对供应链环境下无线射频识别(RFID)标签流动所涉及的节点隐私和供应链可见性管理问题,定义了供应链环境下RFID标签所有权转移的安全需求,提出了通用可组合安全模型,并基于所提出的RFID认证协议设计了一个能实现该模型的RFID标签所有权转移协议。安全性证明和效率分析表明该协议通过利用授权机制和哈希函数的单向性,很好地解决了可见性和不可追踪性问题,采用索引机制和标签端轻量级的计算方式提高了执行效率。与同类方案相比,该协议降低了标签端的计算量且安全性更高。; 周洲彭长根杨玉龙张晓培; 关键词：供应链无线射频识别所有权转移

基于位置密钥交换的UC安全模型被引量：5: 2014年; 基于位置密码学的目标是将参与方的物理位置信息作为唯一的凭证来实现某些密码学任务,如基于位置的加密.可证安全的基于位置密钥交换协议应满足对于任意位置的证明者,在基于位置密钥交换协议后,证明者和验证者之间能够协商一个共享密钥.并且,对于任意多个共谋敌手而言,该共享密钥与随机数是不可区分的.研究了基于位置密码学中密钥交换的可证明安全问题.在通用可组合安全框架下,提出了基于位置密钥交换的可证安全模型.根据基于位置密钥交换协议的需求,设计了基于位置密钥交换的理想函数.对于任意多个共谋敌手而言,该理想函数生成的共享密钥与随机数是不可区分的.同时,作为基于位置密码学的一种前提假设,设计了有界检索模型(bounded retrieval model,BRM)的理想函数.此外,以1-维空间的基于位置密钥交换为例,证明了该协议在BRM模型下能够实现基于位置密钥交换的理想函数.; 张俊伟马卓马建峰姬文江; 关键词：密钥交换 UC安全

UC安全的动态群组密钥协商协议设计与分析被引量：1: 2014年; 针对以往群组密钥协商限于孤立模型下讨论的问题,基于m叉树的判定Diffie-Hellman假设,使用通用可组合安全(UC安全)理论设计了一个群组密钥协商协议,并根据协议需要满足的安全目标,形式化地建立了协议的安全模型,通过对协议安全模块的设计和实现,证明了该协议满足UC安全性质。和同类协议相比,降低了密钥更新所需要的通信和计算开销,同时支持群组成员的动态加入和退出。; 杨春尧陆正福李军; 关键词：群组密钥协商 UC安全通信安全

UC安全有限码长诱骗态协议研究被引量：1: 2014年; 量子密钥分发是量子密码研究中最为实用的领域,基于量子的物理属性保证通信的无条件安全.针对实际系统中光源等设备的不理想,同时为了抵抗光子数分离攻击和提高安全密钥率,人们提出了诱骗态思想和相关的实用量子密钥分发方案.经过近十年的发展,其安全性分析由无限码长转为更加实用的有限码长条件.本文首先介绍诱骗态量子密钥分发方案安全性分析的相关研究进展,在一些高效安全方案的基础上提出一种通用可组合安全下的诱骗态方案,方案采用弱诱骗态和真空诱骗态模式,主要特点在于利用信号态、诱骗态均成码和偏选基方法提高安全密钥生成率;同时针对与最终码率相关的五个参数,即信号态真空脉冲、信号态单光子脉冲、弱诱骗态真空脉冲、弱诱骗态单光子脉冲的计数率下界和单光子相位误码率的上界,采用大数定律进行有限码长条件下的统计涨落分析,设置相关的安全参数及条件使得方案满足UC安全.在相同安全标准下对比三类典型的方案,我们提出的方案更加高效、安全和实用,具有现实可行性.; 李宏欣高明马智马智马传贵; 关键词：量子密码量子密钥分配通用可组合安全

UC安全的双向口令认证密钥协商协议被引量：2: 2014年; 针对多数口令密钥协商(PAKE)协议不具备双向认证功能的问题,基于通用可组合(UC)模型,提出一种UC安全的双向口令认证密钥协商(MPAKE)协议。定义具有双向认证功能的PAKE协议理想函数,描述实体之间的双向认证关系,并利用联合状态UC模型构造实现该理想函数的协议,使协议实体之间可以使用共享参数。该协议基于口令实现了双向认证,并能够协商出会话密钥。通过构造仿真器及其执行的操作分析MPAKE的不可区分性,从而证明该协议是UC安全的,并且结构简单,可保证在任意多方环境中并行运行时的安全。; 刘松果乃福谢帆张丽李淼; 关键词：通用可组合安全仿真器

相关作者