AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

网络时代与高校德育的路径选择

网络时代的到来,给高校德育带来了新的一面,同时也给高校德育工作带来了巨大的冲击,在新的时代,高校教育工作者更应该把德育放在各科教育工作的首位,利用好这把"双刃剑",对高校德育进行路径选择。     

高超声速飞行器滑翔制导方法综述

阐明高超声速飞行器滑翔制导的基本问题,分析滑翔制导过程面临的复杂多约束、机动任务要求、参数扰动等研究难点;分别就国内外标准轨迹制导方法和预测-校正制导方法相关研究现状展开综述,指出了这两类方法中存在的问题。在此基础上,提出高超声速飞行器滑翔制导研究中亟待解决的关键问题,并指出未来滑翔制导方法的研究热点。     

基于状态的维修及其决策模型研究

在分析各种传统维修方式优缺点的基础上,研究了基于状态的维修(Condition Based Maintenance,CBM)中现行的几个技术标准IEEE Std 1451、IEEE Std 1232和ISO 13373-1,并着重分析了CBM开放系统体系结构OSA-CBM的7大组成模块,指出了未来CBM的发展应集中于OSA-CBM的第5、6模块的研究。针对这2个模块,给出了一种利用建立数学模型进行装备健康预测及维修决策支持的可行的研究思路和结构框架。