河南省自然科学基金(102102210242) 作品数:9 被引量:23 H指数:3 相关作者: 祁传达 何俊杰 王娟 袁小转 邵辉 更多>> 相关机构: 信阳师范学院 更多>> 发文基金: 河南省自然科学基金 河南省教育厅自然科学基金 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
XL算法的冗余分析与改进 被引量:1 2011年 针对多变量二次方程组的求解问题,对XL算法的冗余性进行分析与改进。用XL算法扩展方程组存在冗余现象,采用该算法扩展由m个方程构成的n元二次方程组,所得到的新方程组中线性独立方程个数的上界为[mn(n+3)?m(m?3)]/2。基于此,对XL算法进行改进。分析表明,改进后的XL算法能降低求解多变量二次方程组的计算复杂性。 张帆 李蕾 熊炎关键词:代数攻击 一个改进的前向安全盲签名方案 被引量:5 2012年 张席等提出的盲签名方案(武汉大学学报:理学版,2011年第5期)在盲签名生成阶段存在模运算错误,不满足可验证性,攻击者可以生成任意消息的盲签名,不满足不可伪造性。为此,通过优化系统参数、修正模数运算和减少签名数据,提出一种改进的盲签名方案。安全性和效率分析结果表明,改进方案具有不可伪造性、盲性和前向安全性,且计算效率较高。 何俊杰 王娟 祁传达关键词:盲签名 离散对数 不可伪造性 一类布尔函数零化子的代数次数 被引量:3 2012年 序列密码代数攻击的成效取决于所使用的非线性布尔函数零化子的代数次数,但如何构造一个给定函数的低次数零化子仍是一个难题.本文对张文英等人提出的关于一类布尔函数存在n-k次零化子的结论给出了新的证明,弥补了原文证明不严密的缺陷. 祁传达 俞迎达关键词:代数攻击 布尔函数 零化子 布尔函数的迹Walsh谱 被引量:1 2015年 布尔函数线性Walsh谱和高阶Walsh谱的研究对构造能够抵抗线性逼近攻击和二次或较高次逼近攻击的密码函数发挥了重要作用.为了抵抗采样攻击,提出了布尔函数迹Walsh谱和迹Walsh循环谱概念,并给出该Walsh谱的一些简单性质.利用这一谱值的分布特性,可以很好地分析布尔函数的迹函数逼近问题,对序列密码采样攻击研究具有重要意义. 祁传达 谢晓 邵辉 袁小转关键词:布尔函数 布尔函数的迹单项式逼近 被引量:1 2014年 提出了用单项迹函数代替线性函数来定义的布尔函数一种新的谱值,称之为布尔函数的d-Walsh循环谱,通过计算d-Walsh循环谱来研究布尔函数的最佳单项迹函数逼近,使用该方法的计算复杂性仅为22n/n.利用单项迹函数逼近序列密码的前馈函数可实现对序列密码的采样攻击,对序列密码设计与分析具有重要意义. 祁传达 袁小转 邵辉关键词:布尔函数 迹函数 一个代理盲签名方案的安全性分析 被引量:1 2012年 对柳菊霞等人提出的一种基于离散对数的代理盲签名方案进行了安全性分析,指出方案不满足强不可伪造性和非关联性,为此,提出了一种改进的代理盲签名方案。新方案中,在代理阶段使用授权证书,有效抵抗了原始签名人的伪造攻击;在盲签名阶段增加盲因子,实现了非关联性。分析表明,新方案满足代理盲签名方案的安全性要求,且具有较高的计算效率。 何俊杰 孙芳 祁传达关键词:代理盲签名 离散对数 伪造攻击 基于FPGA的DDS型数字信号发生器设计 2012年 数字信号发生器是集成电路设计及调试过程中经常用到的工具,基于FPGA设计了一种DDS型数字信号发生器,可产生正弦波、方波、三角波和锯齿波这四种信号,并具有频率可调功能。 何俊杰 孙芳 祁传达关键词:FPGA DDS 数字信号发生器 布尔函数零化子次数的一个错误证明的更正 2012年 指出了张文英等人关于零点集包含一个k维子空间的n元布尔函数一定存在n-k次零化子的证明,存在明显错误。利用线性空间笛卡儿积的思想,给出了关于上述结论的简洁、严密的逻辑证明。 张帆 熊炎 方明科关键词:布尔函数 零化子 代数攻击 笛卡尔积 安全高效的基于身份的部分盲签名方案 被引量:11 2012年 部分盲签名通过在最终的签名数据中添加签名者和用户协商的公共信息,较好地解决了盲签名在匿名性和可控性之间的矛盾。基于Shim(SHIM K A.An ID-based aggregate signature scheme with constant pairingcomputations.The Journal of Systems and Software,2010,83(10):1873-1880)提出的基于身份的数字签名方案,提出了一个新的可证安全的基于身份的部分盲签名方案。在随机预言机模型下证明了新方案对自适应选择消息和身份攻击是存在不可伪造的,其安全性能够归约为计算Diffie-Hellman假设。与目前已有的随机预言机模型下基于身份的部分盲签名方案相比,所提方案具有较高的运算效率和较少的通信量。 何俊杰 王娟 祁传达关键词:部分盲签名 双线性对 基于身份 随机预言机模型 可证安全