基于遗传策略的SHA 1差分路径搜索算法

借鉴遗传算法的基本策略,以SHA-1第1轮后4步差分路径的汉明重作为遗传算法适应性函数的输入参数,以SHA-1差分进位扩展的位数作为遗传操作的基本单元,提出了一种新的SHA-1差分路径搜索算法。在相同消息差分条件下,该算法搜索得到的差分路径第1轮后4步汉明重为5,文献[1]给出的差分路径第1轮后4步汉明重为4。该算法同样适用于具有与SHA-1结构相似的MD5、SHA-0等Hash函数的差分路径搜索。     

MD5差分和差分路径的自动化构造算法

寻找MD5碰撞消息对是攻击MD5的一个重要研究课题。自王小云教授提出差分攻击算法并攻破SHA-1, MD5,RIPEMD,MD4,算法,对该算法的研究日益受到关注.然而王教授没有给出如何寻找差分和差分路径的方法.本文给出了构造MD5差分和差分路径的自动化算法。利用此算法,不但可以构造王教授提出的差分路径还能得到更好的差分路径。     

缩减轮数的Keccak杂凑函数差分特征

研究了SHA-3标准算法Keccak轮函数的差分性质,给出了轮函数差分转移概率的计算方法,证明了轮函数差分转移概率关于z轴循环移位的相等性。根据轮函数的差分性质,提出了缩减轮数Keccak的差分特征寻找算法。最后,将得到的缩减轮数的差分特征与其它差分特征进行了比较,说明了本文的优势,并指出了文献[10]中的错误。     

对SHA-1差分攻击的初步分析

差分攻击是利用MD系列Hash函数的最高位比特(MSB)不能尽快充分混淆这个缺陷,通过构造差分路径找到碰撞,而差分循环移位是构造差分路径时的一个重要环节。文章首先将SHA-1中的模2n加转换成向量的模2加,对算法中的差分循环移位后出现的4种情况进行了理论证明,进而分析了算法前4步的扩散性。     

针对SHA 3算法核心置换的旋转攻击

针对SHA-3算法核心置换的旋转攻击,分析了SHA-3算法中编码环节对旋转性的影响,证明了在去掉常数的条件下SHA-3算法的置换能以概率为1保持旋转性;在保留常数的情况下研究了SHA-3算法中编码环节对旋转差分的影响,通过与普通异或差分的比较,说明常数对密码算法安全的至关重要性,证明了旋转差分可以以概率1通过该置换的线性编码环节,给出了该置换的一个4轮不能旋转差分。     

对SHA256的初步统计分析

在SHA-256基本体制的基础上,利用统计推断和假设检验的方法对每一轮输出数据进行了0-1频率、0-1游程和0-1跟随优势方面的检测;并对每一轮的输出进行了二阶差分分析。在随机性方面验证了SHA-256安全性,同时也发现SHA-256的一些输出数据随机性并不是很好、不符合随机序列特性的一些地方,这些结果为进一步分析SHA-256算法、找到算法的漏洞奠定了基础。     

改进的Mastui算法差分路径自动化搜索方法

本文首先对Mastui算法进行了两方面的改进,首先重构了S盒差分分布表,转变成密集型哈希表。然后提出基于向量的一种严格剪枝技术,可以尽早筛选掉不满足的差分路径。然后将改进算法应用到了Feistel结构和SP结构类型的分组密码中,以轻量级分组密码MIBS为例,应用所给出的自动化搜索技术,搜索出4轮的最优差分概率为2-12,相比文献[2]所声称MIBS最好的4轮差分特征概率为2-16,具有更优结果。本文同时也给出其r(8≤r≤12)轮的差分特征,搜索出12轮最优迭代差分路径,其概率为2-56。     

ARIA的差分性质研究

ARIA是韩国标准分组加密算法。有关ARIA的差分性质研究结果仅限设计者基于活动S盒数目而给出的一个理想评估上界。本文通过对算法轮函数内部结构分析,严格给出了ARIA算法存在的最大单链差分转移概率,进一步考虑在多条差分路径复合的情况下,找到了最大的两轮循环差分转移概率。结果表明,即使在考虑复合差分路径的情况下,ARIA对差分分析也是安全的。     

一种新的抗模差攻击SHA-1体制

消息修改技术和模减差分攻击方法对SHA-1构成严重安全性威胁。基于SHA-1存在无法抵抗模减差分攻击的安全性缺陷,提出一种对SHA-1的改进算法。该算法有效地增加了运用消息修改技术的困难,并且得到良好的差分扩散特性。由于改进Hash算法只改动了步函数,仅增加了一个加法和循环移位,没有改变信息填充方式和消息摘要长度,容易实现原有基于SHA-1的软硬件产品的升级。经证明并通过算法实现,得出改进SHA-1与标准SHA-1的效率相当。     

PRIDE算法的差分特性研究

研究了轻量级分组密码算法PRIDE的差分分析与相关密钥 差分分析下的安全性。依据分支数理论,分析了算法基于“宽轨迹”策略设计的线性变换层的差分传递规律,给出了线性变换层32个不动点和88个2轮循环差分特征。综合考虑S盒差分传递规律,构造出算法的32条概率为2-58的与24条概率为2-60的15轮差分路径;同时依据密钥调度算法的差分传递规律,给出了算法16条概率为2-36的18轮相关密钥差分路径。在上述路径的基础上,可给出算法19轮差分分析结果与全轮的相关密钥差分分析结果。     

差速轮式移动机器人的定位导航算法

针对差速轮式移动机器人定位及导航算法中从圆弧路径切换到直线路径时车体晃动问题进行研究,提出了一种新的路径规划方法。首先介绍差速轮式移动机器人的定位算法和导航算法（直线导航、圆弧导航）,然后分析从圆弧路径切换到直线路径时存在的问题及产生的原因并提出了一种新的路径规划方法,最后建立Simulink模型进行仿真。仿真结果表明新的路径规划方法取得了良好的效果。     

基于C#的SHA-1加密算法的应用

本文对Secure Hash Algorithm（安全哈希算法）进行了简要描述,并对SHA-1算法的原理进行了深入分析。同时采用目前流行的C#语言对SHA-1算法进行了具体研究,设计了SHA-1加密系统。测试结果表明：加密系统可以准确实现中文信息和其他信息的SHA-1加密。     

鸭绿沙塘鳢形态性状对体质量影响的通径分析

选取野生鸭绿沙塘鳢74尾,分别测量全长(X1)、体长(X2)、体高(X3)、尾柄高(X4)、眼间距(X5)、尾柄长(X6)、头长(X7)、眼径(X8)、头高(X9)、吻长(X10)、眼后头长(X11)和体质量(Y)共12个形态学指标。运用回归分析、相关分析和通径分析,确定影响体质量的主要形态性状,建立最优回归方程,并分别计算主要形态性状的相关系数、通径系数和决定系数,分析形态性状对体质量的影响效果,结果表明体质量变异系数最大(55.72%)。回归分析表明,体长(X2)对体质量的影响达极显著水平,全长(X1)、体高(X3)和尾柄高(X4)达到显著水平,以全长(X1)、体长(X2)、体高(X3)和尾柄高(X4)为自变量,以体质量(Y)为依变量的最优回归方程为Y=-46.510-3.810X1+5.148 X2+16.939 X3+23.829 X4,其复相关系数(R)、相关指数(R2)和校正相关指数(R2)分别为0.934 5、0.873 3和0.866 0。主要形态性状间的表型相关系数均达到极显著水平(P<0.01)。通径分析得出,全长(X1)、体长(X2)、体高(X3)和尾柄高(X4)通径系数分别为-0.387 1、0.519 9、0.5353和0.292 3。主要鸭绿沙塘鳢形态性状对体质量的决定系数中,体高最大为0.286 5;两两性状对体质量的决定程度中,体长和体高对体质量的影响最大(0.447 5)。     

一类具有多个变时滞的p-Lapcaian中立型泛函微分方程的反周期解的存在性

主要利用Leray-Schauder不动点定理和一些新的分析技巧,讨论了这类具有多个变时滞和变参数的p-Lapcaian中立型泛函微分方程：（φp（x＇（t）-sun from i=1 to n（ci（t）x＇（t-ri）））＇）=f（x＇（t））＋sun from j=1 to n（βj（t）g（x（t-τj（t）））＋e（t））反周期解的存在性,得到了方程反周期解存在性的结论.这与已有的文献的结果不同,所考虑的方程更一般,从而所得的结果就更有广泛的意义.     

四阶泛函微分方程周期解的存在性和全局吸引性

研究四阶泛函微分方程x^（4）（t）＋a1x^′′′（t）＋a2x^′′（t）＋a3x^′（t）＋a4x（t）＋g（t,x（t—τ））=p（t）的周期解问题．首先将该方程转变为四维的拟线性微分方程（组）,得到该方程存在唯一周期解的充分条件;然后通过选取适当的李雅普诺夫函数,推导方程任一解的全局吸引性,并进一步得到方程周期解的全局吸引性．最后,通过实例证实了本文结果的正确性．     

关于亚纯函数正规族的正规定则

讨论了亚纯函数涉及微分多项式分担值的正规性问题,证明了一个正规定则,推广和改进了原有的结果.设k,q（≥2）为正整数,F为D内的一族亚纯函数,若对任意的函数f∈F,f的零点的重数至少为k＋1.H（f,f′,…,f（k））为f的微分多项式且Γ/γ｜H     

关于常微分方程中Liouville公式的注记

证明了n阶齐次线性微分方程d^nx/dt^n＋a1（t）d^n-1x/dt^n-1＋…＋an-1（t）dx/dt＋an（t）x=0的Liouville公式W＇（t）=W（t0）e^-∫t0^lal（s）ds是一阶齐次线性微分方程组x＇=A（t）x所对应的Liouville公式W＇（t）=W（t0）e^∫t0^l∑i=1^naii（s）ds的特殊情形。     

钒掺杂的磷化钨催化剂咔唑加氢脱氮性能

以γ- Al₂O₃ 为载体,采用共浸渍和程序升温H₂ 还原的方法,制备了一系列钒掺杂的磷化钨催化剂,对催化剂进行了XRD,BET,TG和XPS 表征。通过高压微反装置,在3 MPa,360 ℃和空速为4 h ^{- 1} 的条件下,考察了催化剂咔唑HDN 活性。结果表明,掺杂钒在一定程度上影响了活性组分WP 在载体表面的分散,当钒掺杂量达到5%时,钒与载体和活性组分间产生明显的协同效应使其结构发生细微变化。掺杂钒使催化剂前体表面的W 物种起始磷化还原温度提高而磷化还原程度降低,而载体表面高价态W⁶⁺ 数量提高。钒掺杂量为1 %的催化剂能明显增加咔唑HDN 反应活性,其咔唑HDN 转化率比不加钒的催化剂提高12. 7 %。磷化钨催化剂咔唑HDN 反应有3条路径,其中直接氢解脱氮反应(路径1) 选择性只有3. 2 %,而先加氢使两个苯环都饱和然后脱氮的反应路径(路径3) 占绝对优势,其选择性为91. 0 %。与未掺杂钒的磷化钨催化剂相比,掺杂1 %钒的催化剂的咔唑HDN 反应直接氢解脱氮选择性有所降低,通过路径3 的反应选择性降低6. 7 % ,而先加氢使一个苯环饱和然后脱氮(路径2) 的选择性提高7. 3 %。