刘振华
- 作品数：34 被引量：170H指数：7
- 供职机构：西安电子科技大学更多>>
- 发文基金：国家自然科学基金陕西省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信矿业工程理学更多>>
- 基于身份认证密钥协商的分析与改进被引量：1
- 2009年
- 针对标准模型下可证明安全的基于身份认证密钥协商协议给出了一种有效攻击,指出其无会话密钥托管的协议存在安全缺陷.当密钥生成器(PKG)被恶意控制时,协商的会话密钥仍能被计算出来.为了抵抗这种攻击,给出了一种改进的基于身份认证密钥协商协议.改进的协议在标准模型下是可证明安全的,具有无会话密钥托管的属性.
- 刘振华胡予濮牟宁波
- 关键词：公钥密码双线性对
- 标准模型下基于身份的可证安全门限签名方案被引量：14
- 2008年
- 提出了一种标准模型下基于身份的(t,n)门限签名方案.该方案利用Gennaro新的分布式密钥生成协议的特点并结合双线性对性质,解决了以往门限签名方案中存在的可公开验证性和成员诚实性问题;密钥生成只需成员之间协商完成,故不需要可信中心,解决了以往方案中过分依赖可信中心和可信中心权力过大问题;在计算Diffie-Hellman(CDH问题)假设下,该方案是健壮的和对适应性选择消息攻击是不可伪造的.
- 张乐友胡予濮刘振华
- 关键词：(T,N)门限签名方案可证明安全CDH问题
- 具有消息恢复功能的无陷门格签名方案被引量：1
- 2014年
- 利用Lyubashevsky拒绝抽样(无陷门)技术,提出了一个高效的具有消息恢复功能的格签名方案。新方案可以看作是具有消息恢复功能的Abe-Okamato签名的格密码版本。在随机预言机模型下,利用General Forking Lemma,证明了新方案的选择消息攻击下存在的不可伪造安全性依赖于格上小整数解困难问题假设。新方案没有使用高斯原像抽样作为签名,仅需要简单的矩阵与向量乘法运算,具有短的消息-签名总长度。
- 张襄松刘振华
- 关键词：签名可证明安全
- 支持属性撤销和解密外包的属性基加密方案被引量：13
- 2015年
- 为了有效地解决属性基加密中属性的撤销问题,减少解密过程中用户的计算量,提出了具有撤销和解密外包功能的属性基加密方案.新方案利用线性秘密共享技术实现了秘密的分割与重组,基于密钥加密密钥树实现了密钥的更新.在解密过程中,将部分解密运算外包给解密服务器,减少了用户的计算代价.安全性分析表明,新方案能够抵抗共谋攻击,保证数据的机密性和前向、后向安全性.仿真实验表明,新方案在密文更新和解密过程中所需时间都有很大程度降低.
- 马华白翠翠李宾刘振华
- 关键词：属性基加密外包
- 可验证的凸二次规划安全外包协议被引量：2
- 2016年
- 为了降低资源受限用户求解凸二次规划问题的计算量,提出了可验证安全的凸二次规划外包计算协议。新协议首次引入置换技术,将原始问题盲化转换成随机问题,然后外包给云服务器求解,最后验证服务器返回结果,减少了用户端的计算量。安全性分析表明,在完全恶意模型下,新协议可以保证输入输出数据的隐私性,且能以最优的概率检测出云服务器的不诚实行为。仿真实验表明,与现有协议相比,新协议中用户在转换和验证阶段所需时间明显降低。
- 刘振华李宾白翠翠
- 关键词：云计算凸规划隐私保护
- 基于云存储的高效F-HMIPv6切换协议被引量：2
- 2014年
- 提出了一种基于云存储的F-HMIPv6切换协议,引入云存储服务商为可接入路由和移动锚点管理转交地址列表,维护列表中转交地址的唯一性与可用性,可接入路由与移动锚点直接向云存储服务商申请获取转交地址,避免了重复地址检测操作和可接入路由与移动锚点自己维护转交地址列表的负担。该协议还可缩短切换发起消息和快速确认消息的消息长度。分析表明,与标准F-HMIPv6切换协议相比,该协议能有效缩短切换时延,节省网络带宽资源和增加协议实用性。
- 马华刘雪刘振华乔丹丹
- 关键词：切换时延移动IPV6
- 物联网中基于PUF的三因素匿名用户认证协议方法
- 本发明公开一种物联网中基于PUF的三因素匿名用户认证协议方法，解决了物理克隆攻击等安全问题，实现包括：网关生成长期密钥用于节点、用户的注册以及密钥协商；节点给网关发送基于PUF的挑战和响应，网关生成认证凭证并将节点密钥发...
- 刘振华郭昌波
- 文献传递
- 标准模型下基于身份的具有部分消息恢复功能的签名方案
- 利用Gentry的基于身份的加密方案及其变体,设计了具有部分消息恢复功能的基于身份签名方案.缩短了消息及其签名的总长度,同时,截断的消息能在合理时间内被恢复出来.在标准模型下,证明了该方案在自适应选择消息攻击下存在性不可...
- 刘振华张襄松田绪安胡予濮
- 关键词：可证明安全性签名方案
- 文献传递
- 基于粗集的模糊信息系统有序规则获取被引量：2
- 2004年
- 模糊信息处理是信息科学领域的一个热点和难点。针对一类带有三角模型的模糊信息系统,提出一种基于粗糙集的有序规则获取方法。证明了三角模糊数之间基于可能度的序关系是一种弱序关系,进而将模糊信息系统转化为二元信息系统,利用粗糙集理论推理出模糊信息系统的最优有序规则。仿真实例表明了该方法的有效性。
- 王珏刘三阳张杰刘振华
- 关键词：粗糙集三角模糊数
- 支持密态数据去重和完整性验证方法及系统
- 本发明属于以通信技术，公开了一种支持密态数据去重和完整性验证方法及系统；每一时间周期用户的签名私钥均为两部分的乘积，一部分是审计者根据自身私钥生成的更新消息，另一部分是由用户的私钥和当前时间周期计算；任何时间周期的签名私...
- 刘振华李晨刘要辉
- 文献传递
