陕西省教育厅科研计划项目(12JK0852)
- 作品数：10 被引量：16H指数：2
- 相关作者：刘振华张襄松马华白翠翠刘鹏亮更多>>
- 相关机构：西安工业大学西安电子科技大学中国科学院更多>>
- 发文基金：陕西省教育厅科研计划项目国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术理学经济管理电子电信更多>>
- 具有消息恢复功能的无陷门格签名方案被引量：1
- 2014年
- 利用Lyubashevsky拒绝抽样(无陷门)技术,提出了一个高效的具有消息恢复功能的格签名方案。新方案可以看作是具有消息恢复功能的Abe-Okamato签名的格密码版本。在随机预言机模型下,利用General Forking Lemma,证明了新方案的选择消息攻击下存在的不可伪造安全性依赖于格上小整数解困难问题假设。新方案没有使用高斯原像抽样作为签名,仅需要简单的矩阵与向量乘法运算,具有短的消息-签名总长度。
- 张襄松刘振华
- 关键词：签名可证明安全
- 一种图像尺寸调整的纹理感知突出边缘模型
- 2014年
- 图像尺寸调整的目的是将一幅给定图像调整为任意指定大小而不产生视觉扭曲,为此,须定义可靠的图像重要性图.利用总变差正则化空间的高阶统计提出一种新的图像重要性图,称之为纹理感知突出边缘图,基于纹理感知突出边缘图利用重要性扩散方法对图像进行尺寸调整.数值实验结果显示,在图像背景杂乱且受到噪声干扰的情况下,与目前流行的其他方法相比,文中方法能获得更好的图像尺寸调整效果.
- 张文娟何鑫
- 关键词：高阶统计
- 二阶锥规划的半光滑非精确方法的收敛性分析
- 2014年
- 给出了求解二阶锥规划问题的半光滑非精确牛顿方法并对其收敛性进行了分析算法在每次迭代时,通过近似求解牛顿方程,以减少算法迭代成本;
- 张襄松王新辉
- 关键词：二阶锥规划
- B(H)上的Jordan三重映射
- 2013年
- 文中利用算子代数的基本算法和映射的某些乘积性质,主要讨论了在维数大于1的Hilbert空间上,所有有界线性算子集合B(H)上的Jordan三重映射,得到此映射是环自同构或反环自同构的结论.
- 李倩
- 关键词：HILBERT空间可乘映射
- 基于云存储的高效F-HMIPv6切换协议被引量：2
- 2014年
- 提出了一种基于云存储的F-HMIPv6切换协议,引入云存储服务商为可接入路由和移动锚点管理转交地址列表,维护列表中转交地址的唯一性与可用性,可接入路由与移动锚点直接向云存储服务商申请获取转交地址,避免了重复地址检测操作和可接入路由与移动锚点自己维护转交地址列表的负担。该协议还可缩短切换发起消息和快速确认消息的消息长度。分析表明,与标准F-HMIPv6切换协议相比,该协议能有效缩短切换时延,节省网络带宽资源和增加协议实用性。
- 马华刘雪刘振华乔丹丹
- 关键词：切换时延移动IPV6
- 标准模型下高效的强不可伪造短签名方案被引量：5
- 2013年
- 针对现有在标准模型下强不可伪造签名方案效率不高的问题,提出了1个新的高效签名方案.利用椭圆曲线上的双线性对,基于计算性Diffie-Hellman数学困难问题假设,证明新方案具有强存在性不可伪造.在新方案中,用户的公/私钥分别包含6个和1个乘法循环群G中的元素,签名中含有2个群G中的元素,在签名阶段需要3个指数运算,在验证阶段需要2个双线性对运算和1个指数运算.结果表明,与现有的标准模型下强不可伪造签名方案相比,新方案具有更短的公/私钥长度和签名长度,降低了签名和验证阶段的计算耗时,具有高效性,适用于资源受限的环境.
- 刘振华胡予濮张襄松
- 关键词：数字签名哈希函数双线性对
- 基于有限障碍的全牛顿步内点算法
- 2012年
- 针对线性规划问题,文中引入了一种与传统障碍函数不同的新的障碍函数,其在可行域边界上的取值是有限的.沿此有限障碍函数所确定的新的搜索方向,给出了短步长全牛顿步内点算法,结果证明该算法具有目前求解线性规划问题最好的复杂性界.
- 汪威威毕红梅
- 关键词：线性规划内点算法
- 遗传算法的互补性产品定价策略研究被引量：2
- 2013年
- 为了进一步研究用途上具有互补性的两类产品的定价策略,分析了互补性产品在三种销售策略下的消费者购买决策,建立了垄断情形下互补性产品的最优定价模型.针对模型目标函数不可微甚至不连续性的性质,采用改进的遗传算法进行模型求解,并通过数值算例验证了偶然价值系数对于定价策略的影响.结果表明:当偶然价值系数θ取值越大,两类产品的互补性越强,企业采用捆绑销售策略所获得利润就越高.
- 过晓芳
- 关键词：捆绑销售保留价格消费者剩余遗传算法
- 一种可验证的公钥可搜索加密方案被引量：5
- 2014年
- 公钥可搜索加密能实现基于密文的信息检索,适用于云计算环境。但现有公钥可搜索加密方案普遍依赖于双线性对,并且无法对服务器返回的搜索结果进行验证,效率和安全性较低。为此,基于El Gamal加密算法提出一种可验证的公钥可搜索加密方案。该方案使用El Gamal加密算法替代双线性对运算,与传统算法相比具有较低的计算复杂度,并且易于实现。在密文关键词及加密文件生成算法中,采用El Gamal签名算法对关键词的哈希值进行数字签名。当收到服务器返回的搜索结果后,用户可以通过计算得到发送者的公钥,并对相应的签名值进行验证,从而有效防止服务器返回错误结果。
- 刘鹏亮俎龙辉白翠翠马华
- 关键词：公钥密文搜索
- 可撤销的基于身份的签密方案被引量：1
- 2014年
- 为了撤销签密系统中私钥泄露或恶意的用户,提出了一个新的可撤销的基于身份签密方案。在新方案中,将主密钥随机分成2部分,一部分用于构造初始密钥,另一部分用于生成更新密钥,然后再随机生成解/签密密钥,从而使方案不仅能够撤销用户,而且能够抵抗密钥泄露攻击。在标准模型下,证明了新方案基于DBDH困难问题假设具有IND-CCA2安全性,同时基于CDH困难问题假设具有EUF-CMA安全性。
- 刘振华李娟娟俎龙辉
- 关键词：签密密钥泄露
