张襄松
- 作品数：14 被引量：28H指数：3
- 供职机构：西安工业大学理学院更多>>
- 发文基金：国家自然科学基金陕西省教育厅科研计划项目中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术理学文化科学电子电信更多>>
- 两个与高阶积分有关的Laplace变换公式的证明
- 2019年
- 本文分别利用高阶积分公式、数学归纳法以及卷积法对与高阶积分有关的两个Laplace变换公式给予了证明.
- 戴志敏戴志敏
- 关键词：LAPLACE变换数学归纳法卷积
- 标准模型下基于身份的具有部分消息恢复功能的签名方案被引量：4
- 2010年
- 利用Gentry的基于身份的加密方案及其变体,设计了具有部分消息恢复功能的基于身份签名方案,缩短了消息及其签名的总长度,同时,截断的消息能在合理时间内被恢复出来.在标准模型下,证明了该方案在自适应选择消息攻击下存在性不可伪造规约为q-Strong Diffie-Hellman困难假设.与现有的标准模型下基于身份的签名方案相比,该方案缩短了消息及其签名的总长度,适用于带宽受限的环境.
- 刘振华张襄松田绪安胡予濮
- 关键词：密码签名可证明安全性
- 互补支持向量机被引量：2
- 2010年
- 基于支持向量机的修正模型,得到一个互补支持向量机。利用Fischer-Burmeister互补函数,提出了一个新的下降算法。该算法不是基于支持向量机最优化问题本身,而是一个与之等价的互补问题。新算法不需要计算任何Hesse矩阵或矩阵求逆运算,实现简单,计算量小,克服了Mangasarian等人提出的LSVM算法需要求逆矩阵而造成不适合求解大规模非线性分类问题的缺陷。在不需要任何假设的情况下,证明了算法的全局收敛性。仿真实验表明算法是可行有效的。
- 张襄松刘三阳
- 关键词：支持向量机
- 抗密钥泄露的支持密态数据去重的完整性审计方案被引量：3
- 2019年
- 针对云存储环境中密钥泄露、数据重复和完整性检验的问题,提出了一种支持密钥更新和密文数据去重的完整性审计方案。所提方案利用布隆过滤器实现了密态数据的客户端去重,且每一次密钥更新能保证更新结果不能由其余时间周期的密钥猜测得到。该方案首次解决了在支持密态数据去重的审计方案中密钥更新困难的问题。安全性分析表明,所提方案在随机预言机模型下基于计算性Diffie-Hellman困难问题假设具有强抗密钥泄露、机密性、可检测性以及认证标签和证明值的不可伪造性。
- 张襄松李晨刘振华
- 二阶锥规划的半光滑非精确方法的收敛性分析
- 2014年
- 给出了求解二阶锥规划问题的半光滑非精确牛顿方法并对其收敛性进行了分析算法在每次迭代时,通过近似求解牛顿方程,以减少算法迭代成本;
- 张襄松王新辉
- 关键词：二阶锥规划
- 具有消息恢复功能的无陷门格签名方案被引量：1
- 2014年
- 利用Lyubashevsky拒绝抽样(无陷门)技术,提出了一个高效的具有消息恢复功能的格签名方案。新方案可以看作是具有消息恢复功能的Abe-Okamato签名的格密码版本。在随机预言机模型下,利用General Forking Lemma,证明了新方案的选择消息攻击下存在的不可伪造安全性依赖于格上小整数解困难问题假设。新方案没有使用高斯原像抽样作为签名,仅需要简单的矩阵与向量乘法运算,具有短的消息-签名总长度。
- 张襄松刘振华
- 关键词：签名可证明安全
- 最优化方法课堂教学模式探索被引量：7
- 2020年
- 最优化方法是既具有工程的实践性特征,又具有数学的研究性要求的一门课程,对培养学生的分析和解决问题能力有重要作用。文章结合教学实践,借鉴当前教学研究中的新理念和新方法,对最优化方法的教学模式进行了有益探索,以适应新形势下的本科教学,为培养创新型人才服务。
- 张襄松马元魁
- 关键词：教学方法
- 软件可靠性及测试用例的最优分配问题研究
- 软件测试，特别是软件可靠性测试是发现软件中的错误、提高软件可靠性的有效手段，在软件开发中发挥着极其重要的作用。随着软件的广泛应用，其可靠性问题更是人们关注的焦点。而软件可靠性模型对软件可靠性估测则起着核心作用。本文首先介...
- 张襄松
- 关键词：软件测试动态规划
- 文献传递
- 标准模型下高效的强不可伪造短签名方案被引量：5
- 2013年
- 针对现有在标准模型下强不可伪造签名方案效率不高的问题,提出了1个新的高效签名方案.利用椭圆曲线上的双线性对,基于计算性Diffie-Hellman数学困难问题假设,证明新方案具有强存在性不可伪造.在新方案中,用户的公/私钥分别包含6个和1个乘法循环群G中的元素,签名中含有2个群G中的元素,在签名阶段需要3个指数运算,在验证阶段需要2个双线性对运算和1个指数运算.结果表明,与现有的标准模型下强不可伪造签名方案相比,新方案具有更短的公/私钥长度和签名长度,降低了签名和验证阶段的计算耗时,具有高效性,适用于资源受限的环境.
- 刘振华胡予濮张襄松
- 关键词：数字签名哈希函数双线性对
- 支持向量机的一步光滑牛顿法
- 2012年
- 基于支持向量机的一个修正模型,将支持向量机优化问题转化为与之对偶规划等价的互补问题,简化了原二次规划问题.并利用Fischer-Burmeister互补函数,给出了一个求解该问题的一步光滑化牛顿算法.该算法每次迭代只需求解一个线性方程组,执行一次线性搜索,提高了运算效率,且算法可以任意选取初始点并具有二次收敛性质.初步的仿真实验表明该算法是可行有效.
- 张襄松刘三阳刘振华
- 关键词：支持向量机光滑牛顿算法
