搜索到21564篇“ 可证明安全性“的相关文章
网络空间安全学科系列教材 密码学中的证明安全性 第2版
本书全面介绍证明安全性的发展历史、基础理论和实用算法,内容分为6章,第1章介绍证明安全性涉及的数学知识和基本工具,第2章介绍语义安全的公钥密码体制的定义,第3章介绍语义安全的公钥密码体制,第4章介绍基于身份的密码体制...
杨波
AES类结构的差分和不能差分证明安全性研究
AES算法的安全性分析,一直是密码研究领域的热点问题之一。同时由于AES算法良好的证明安全性和实现能,有很多其他密码算法直接或间接地采用AES的轮变换作为基础部件,构造新的密码结构。如果一个SPN型分组密码结构满足:...
王乾
关键词:AESSPN
文献传递
特定L-Feistel模型差分和线证明安全性分析
差分安全性和线安全性是考查一个分组密码抵抗差分攻击和线攻击能力的一种基本手段。差分安全性和线安全性有两种刻画手段。一种手段是考察分组密码的差分概率(线概率)在圈密钥等概率且独立的条件下的平均值的上...
张策
关键词:分组密码
文献传递
CFL证明安全性分析被引量:5
2016年
公钥密码算法的证明安全性理论,明确了密码体制的安全定义;建立起一种基本定义、基于归约证明的通用密码学研究方法;通过严格的证明把体制的安全性与已知的计算难题或密码学关联起来.证明安全性理论的研究推进了密码体制的标准化进程,很多标准化组织将密码体制的安全证明作为密码体制必备的安全,要求新提交的密码学标准中的算法能通过安全性证明,目前采用的密码学标准都遵从这种安全规范.在此基础上,证明了CFL是密钥不恢复证明安全的,同时证明了当CFL基于SM2,Hash函数满足随机语言机时,其为EUF-CMA安全的.
秦红兵潘月君范修斌王海平
关键词:可证明安全性随机预言机
混合签密及其证明安全性理论研究
随着计算机网络技术的飞速发展,各种网络服务已经渗透到日常生活的各个领域,这给人类活动既带来了极大便利也带来了前所未有的威胁。信息的存储、传输和处理越来越多地在开放网络上进行,容易遭受各种攻击手段的威胁。因此,信息安全已成...
俞惠芳
关键词:密码学离散对数双线性配对可证明安全性
文献传递
密码学中的证明安全性
安个(Semantic security)的概念由Goldwasser和Micali于1984年提出,即敌手即使已知某个消息的密文,也得不出该消息的任何部分信息,即使是1比特的信息。这一概念的提出开创了证明安全性领域的...
杨波
关键词:公钥加密签名体制
类3D结构的证明安全性研究
刘华琗
文献传递网络资源链接
Lai-Massey密码模型的差分和线证明安全性研究
Lai-Massey模型的分析是密码学研究领域的热点之一,来学嘉等人于1991年提出了Lai-Massey模型,并基于此设计了IDEA算法。2004年,Serge Vaudenay等人基于Lai-Massey模型设计了F...
付立仕
关键词:分组密码可证明安全性
文献传递
动态多方签名及其证明安全性被引量:2
2012年
多方签名是一类有效的多方安全计算协议。分析了现有多方签名方案的安全漏洞以及不足,基于多方安全算法提出了一类动态的多方签名方案,方案实现了签名与验证参数的动态生成及签名的匿名。利用随机预言机(Random Oracle)模型,证明了方案在UF-CMA模型下的不伪造及不否认。方案中充分利用了多方安全计算的优势,降低了软硬件实现的系统开销,有广泛应用前景。
周宣武金志刚付燕田守荣周怀伟付振强
关键词:可证明安全性随机预言机
一个证明安全性的RFID认证协议的设计与分析
无线射频识别(RFID:Radio Frequency IDentification)是一种非接触式自动识别技术。它凭借其独特的优势,已经逐渐在身份识别、防伪技术、供应链管理、公共交通管理和军事等各个领域得到了广泛应用,...
彭朋
关键词:无线射频识别密钥共享

相关作者

冯登国
作品数:755被引量:7,789H指数:39
供职机构:中国科学院软件研究所
研究主题:信息安全 密码学 网络安全 访问控制 可信计算
周宣武
作品数:28被引量:60H指数:4
供职机构:天津大学电子信息工程学院
研究主题:椭圆曲线密码 超椭圆曲线密码 可证明安全性 超椭圆曲线 签名方案
王泽辉
作品数:32被引量:43H指数:4
供职机构:中山大学数学与计算科学学院科学计算与计算机应用系
研究主题:公钥密码体制 密码体制 信息隐藏 安全性 可证明安全性
路献辉
作品数:24被引量:42H指数:3
供职机构:中国科学院信息工程研究所
研究主题:公钥加密体制 可证明安全性 会话密钥 群密钥协商协议 身份认证
付燕
作品数:6被引量:9H指数:2
供职机构:天津大学电子信息工程学院
研究主题:可证明安全性 签密 签密方案 随机预言机 基于椭圆曲线