国家自然科学基金(61100229)
- 作品数：5 被引量：12H指数：2
- 相关作者：刘振华王保仓白翠翠刘鹏亮马华更多>>
- 相关机构：西安电子科技大学电子科技大学西安工业大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金信息安全国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- Lattice-based certificateless encryption scheme被引量：2
- 2014年
- 无证书的公钥密码学(CL-PKC ) 能在基于身份的公钥密码学(ID-PKC ) 在公钥基础结构(PKI ) 并且关键附带条件契约解决证书管理的问题。在 CL-PKC，关键产生中心(KGC ) 不知道所有用户的私人钥匙，并且他们的公钥不必被证明权威(CA ) 认证。然而，目前，很无证书的加密计划基于不在量环境是安全的大整数因式分解和分离对数，计算复杂性高。解决这些问题，我们基于格子建议一个新证书更少加密计划，更精确，使用与错误(LWE ) 学习的坚硬问题。与计划相比基于大整数因式分解和分离对数，大多数操作在我们的计划是 matrixvector 增加和内部产品，我们的途径有更低的计算复杂性。我们的计划能被证明是选择的 indistinguishability 密文攻击(IND-CPA ) 在随机的神谕模型固定。
- Mingming JIANGYupu HUHao LEIBaocang WANGQiqi LAI
- 关键词：证书管理公共密钥基础设施随机预言模型选择密文攻击
- 标准模型下可证安全的门限签名方案
- 2012年
- 门限签名能够分散签名权力,比普通单人签名具有更高的安全性。目前大多数门限签名方案都存在密钥托管的问题。针对一种新的基于身份的门限签名方案存在的安全性问题,利用椭圆曲线上的双线性对,文中提出了一个改进的方案。新方案由私钥生成中心和签名成员合作生成密钥,由此防止了PKG伪造签名,较好地解决了密钥托管的问题。在标准模型下对该方案进行了安全性证明,表明该方案是不可伪造的和健壮的。与已有的门限签名方案相比,安全性有较大的提高,效率没有明显的降低。
- 乔丹丹刘振华王保仓刘雪
- 关键词：基于身份门限签名双线性对
- 支持向量机的一步光滑牛顿法
- 2012年
- 基于支持向量机的一个修正模型,将支持向量机优化问题转化为与之对偶规划等价的互补问题,简化了原二次规划问题.并利用Fischer-Burmeister互补函数,给出了一个求解该问题的一步光滑化牛顿算法.该算法每次迭代只需求解一个线性方程组,执行一次线性搜索,提高了运算效率,且算法可以任意选取初始点并具有二次收敛性质.初步的仿真实验表明该算法是可行有效.
- 张襄松刘三阳刘振华
- 关键词：支持向量机光滑牛顿算法
- 格上的代理重签名方案被引量：5
- 2014年
- 针对量子环境下基于大整数分解与离散对数困难问题代理重签名的不安全性,提出一种能够抵抗量子攻击的代理重签名方案.借助Xagawa的代理重加密技术和格上的无陷门签名技术,构造了第一个基于格的代理重签名方案,并运用格上的小整数解问题(Small Integer Solution,SIS)的困难性对其进行了安全性证明.证明和效率分析结果表明,该方案具有双向性、多次使用性、密钥最优性以及透明性,与基于其他困难问题的代理重签名方案相比,具有渐近计算复杂度低的优点.最后,把该方案扩展为基于身份的代理重签名方案.
- 江明明胡予濮王保仓刘振华来齐齐
- 关键词：代理重签名数字签名
- 一种可验证的公钥可搜索加密方案被引量：5
- 2014年
- 公钥可搜索加密能实现基于密文的信息检索,适用于云计算环境。但现有公钥可搜索加密方案普遍依赖于双线性对,并且无法对服务器返回的搜索结果进行验证,效率和安全性较低。为此,基于El Gamal加密算法提出一种可验证的公钥可搜索加密方案。该方案使用El Gamal加密算法替代双线性对运算,与传统算法相比具有较低的计算复杂度,并且易于实现。在密文关键词及加密文件生成算法中,采用El Gamal签名算法对关键词的哈希值进行数字签名。当收到服务器返回的搜索结果后,用户可以通过计算得到发送者的公钥,并对相应的签名值进行验证,从而有效防止服务器返回错误结果。
- 刘鹏亮俎龙辉白翠翠马华
- 关键词：公钥密文搜索
