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

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

非光滑慢变系统的稳定性

文章研究了一般情形的非光滑慢变系统的稳定性,对于线性时变系统右端仅满足Lips-chitz条件而不可微时的情形给出了指数稳定性定理,并给出了ε的上界。     

最速下降线及其自动查找

对坡降线作了深入具体的研究,给出了其微分方程形式及在离散情况下的近似表达;给出了坡降线自动生成的一种算法,并对其中的一系列理论和计算问题进行了探讨。     

lp空间紧性的研究

利用profile分解技术,研究lp(1≤p<+∞)空间的紧性。讨论了导致紧性失去的两种情形,给出了lp空间中有界序列的分解。主要的困难在于profile的提取,利用排除集中的方法克服了这一困难,并在较弱的拓扑中得到了余项的衰减。     

扩展的代数侧信道攻击及其应用

Renauld等人提出的代数侧信道攻击是将代数攻击和侧信道攻击结合起来的一种对分组密码的攻击方法.目前的研究主要针对算法的8-bit实现平台,对于更大的如64-bit实现平台,未见文献讨论.为此,本文提出一种扩展的代数侧信道攻击,直接将侧信道信息表示为密钥的显式函数.相比于通常的代数侧信道攻击,所需泄露信息更少.作为应用,给出了对LBlock轻量级分组密码的扩展的代数侧信道攻击,结果如下:对于64-bit平台实现的LBlock,假设其1-3轮输出的Hamming重量可以准确获得,则利用35个已知明文,便可建立关于LBlock 80-bit主密钥的非线性方程组;在普通的PC机上,利用Magma数学软件v2.12-16求Groebner基,1分钟内可以求得80-bit主密钥.这是对LBlock的首个代数侧信道攻击,同时说明Renauld等人给出的对代数侧信道攻击的其中一个防范方法:"将实现方法从8-bit平台转移到更大的设备"是不够的.     

一类奇异三阶两点边值问题的正解及其应用

研究了一类奇异非线性三阶两点边值问题正解的存在性。首先在连续函数空间中引入算子T,并证明T是连续算子,然后借助于全连续线性算子的特征值和Banach空间上全连续算子的不动点定理,得到了这类边值问题存在正解的一个充分条件,并给出了一个应用。     

最速下降线(坡降线)及其自动查找

对坡降线作了深入具体的研究,给出了其微分方程形式及在离散情况下的近似表达;给出了坡降线自动生成的一种算法,并对其中的一系列理论和计算问题进行了探讨。