基于代数正规型构造的代数免疫最优布尔函数

现有代数免疫最优布尔函数的构造方法大多基于支撑集,通过代数正规型直接构造的方法研究较少.为此,利用代数正规型的多项式表示构造一类代数免疫性质优的布尔函数,研究其代数次数、代数免疫阶、函数重量、非线性度等性质,分析采用这种方法构造的代数免疫最优布尔函数的性质及计数等结果.由构造方法可以得到代数免疫最优的布尔函数,其中包含一些已有的特殊构造结果,表明该方法更具有一般性,包含更多具有最优代数免疫阶的函数.     

带陷门分组密码算法的设计与分析

带陷门的密码算法包含了陷门信息,知道陷门信息可以较容易地获得密码算法的密钥进而解密密文得到明文,对于不知道陷门信息的攻击者则无法有效获得密钥,并且要找到陷门信息在计算上也是很困难的。基于对称密码算法中带陷门信息的混淆部件设计了一种带陷门的分组密码算法,并对该算法进行了安全性分析,证明了在假设陷门信息保密(不公开)的情况下该类算法能够抵抗线性密码分析等攻击方法。基于这样的分组密码算法,讨论了构造公钥加密算法的思路。     

煤矿立井工作面高压特大含水层预注浆试验方案对比分析

文章在分析涌水量特征及岩体裂隙、孔隙发育之间关系基础上,根据钻孔涌水量变化特征对不同层段含水介质类型进行了划分.结合现场四种不同试验方案的注浆压力特征及其效果对比分析,最终确定"化学预注浆+分层注浆施工工艺"为最终方案,利用该方案顺利通过该含水层.并得出了高压特大含水层预注浆关键技术和方法是:根据钻孔涌水量变化特征分析确定含水层不同层段含水类型,根据不同含水类型介质选择合理的注浆材料,并采用以单孔涌水量为标准的分层注浆施工工艺.     

具有最大代数免疫度函数的研究

代数免疫度是私钥密码学中的重要概念。具有高代数免疫度的函数能抵抗新型攻击——代数攻击。CARLET Claude和FENG Keqin构造了具有最大代数免疫度的平衡函数及其线性等价函数,根据CARLET和FENG的构造,首先证明这类最大代数免疫度函数的数目,然后给出曹浩等人给出的定理6的简化证明,最后说明没有矩阵满足曹浩等人给出的定理7的条件（即不能用曹浩等人的方法构造具有最大代数免疫度的1阶弹性函数）．     

具有最优代数免疫阶的一类新布尔函数的构造

构造了一类至少具有次优代数免疫阶的布尔函数f,并利用级联的方法构造了一类具有最优代数免疫阶的布尔函数h。这类函数h不同于以前相关文献中所提出的最优代数免疫的布尔函数,给出了f的数目,并进一步讨论了h（偶数个变元的情况下）的非线性度,发现利用择多函数F_n构造的一类函数h非线性度达到Lobanov界。     

几乎最优弹性plateaued函数的性质和构造

研究了几乎最优plateaued函数的非零线性结构个数, 证明了一个具有奇数个变元的几乎最优plateaued函数要么是没有非零线性结构的plateaued函数, 要么是有一个非零线性结构的部分bent函数; 一个具有偶数个变元的几乎最优plateaued函数的非零线性结构只可能是0, 1, 3个。还给出一种构造几乎最优弹性plateaued函数的方法, 可以使函数无非零线性结构、满足严格雪崩准则、具有良好的全局雪崩特征等。     

多输出Plateaued函数的构造方法

Plateaued函数具有很高的非线性度,可以满足相关免疫性、平衡性,在密码函数领域具有重要作用。为此,基于Carlet等提出的单输出Plateaued函数构造方法(FSE’03会议论文集),利用m序列的状态转移矩阵,构造一类多输出Plateaued函数,并参考Johansson方法中的引理5(IEEE Transactions on Information Theory, 2003, No.2),提出另一种多输出Plateaued函数的构造方法,由此得到的2种函数适用于S盒、滤波(组合)函数、杂凑函数等的设计。     

Feistel结构的8比特轻量化S盒

轻量化S盒作为轻量级对称密码算法的混淆部件,是设计轻量级对称密码算法的关键.提出一种新的8比特轻量化S盒设计方法,其单轮逻辑运算仅涉及4个单比特逻辑与运算和4个单比特逻辑异或运算,迭代4轮后密码性质可达到差分均匀度为16、非线性度为96.与目前已有轻量化S盒设计方法相比,新的8比特轻量化S盒设计方法在硬件实现资源小的同...     

利用级联方法构造的布尔函数

级联构造作为布尔函数的主要构造方法之一,具有结构简单、实现快速灵活等优点,被广泛用于构造实用的布尔函数。文中给出了一种通过迭代来构造密码学性质好的布尔函数的级联方法,详细测试了这类函数主要的密码学性质及代数正规型项数,并从理论上分析了构造的这类函数能够具有平衡性、最优的代数次数、高非线性度、高的代数免疫阶等多种好的密码性质。文中的结果表明,提出的级联构造方法能够用于构造密码学性质良好的布尔函数。     

可分特征的刻画及其自动化分析应用

基于可分性质的自动化分析是评估分组密码抵抗积分分析能力的有效方法,其关键在于建立自动化分析模型时对密码部件和基本运算的可分特征刻画。通过研究可分性质的传播规律,给出其可分特征的线性不等式刻画,首次实现S盒和逻辑与运算的等价刻画,给出自动化积分分析的基本思想和分析流程,并应用于ISO标准分组算法CLEFIA,得到10轮的积分区分器,是目前最长的积分区分器。